SAT-based versus CSP-based Constraint Weighting for Satisfiability

There are no files associated with this record.

Title SAT-based versus CSP-based Constraint Weighting for Satisfiability
Author Pham, Duc Nghia; Thornton, John; Sattar, Abdul; Ishtaiwi, Abdelraouf
Publication Title Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence
Editor Manuela Veloso and Subbarao Kambhampati
Year Published 2005
Place of publication Menlo Park, California, USA
Publisher AAAI Press
Peer Reviewed Yes
Published Yes
ISBN 1-57735-236-X
Conference name The Twentieth National Conference on Artificial Intelligence
Location Pittsburgh, USA
Date From 2005-07-09
Date To 2005-07-13
URI http://hdl.handle.net/10072/2590
Date Accessioned 2006-03-15
Date Available 2007-03-21T21:28:36Z
Language en_AU
Research Centre Institute for Integrated and Intelligent Systems
Faculty Faculty of Engineering and Information Technology
Subject Other Artificial Intelligence
Publication Type Conference Publications (Full Written Paper - Refereed)
Publication Type Code e1

Brief Record

Griffith University copyright notice