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) |
Please use this identifier to cite this record: http://hdl.handle.net/10072/2590
Griffith University copyright notice
Copyright in individual works within the repository belongs to their authors or publishers. You may make a print or digital copy of a work for your personal non-commercial use. All other rights are reserved, except for fair dealings or other user rights granted by the copyright laws of your country.
Footer information
Back to top