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
Publisher AAAI Press
Peer Reviewed Yes
Published Yes
Research Centre Institute for Integrated and Intelligent Systems
Faculty Faculty of Engineering and Information Technology
Publication Type Conference Publications (Full Written Paper - Refereed)

Show full item record

Griffith University copyright notice