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 |
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