Additive versus Multiplicative Clause Weighting for SAT
| File | Size | Format | |
|---|---|---|---|
| 22739_1.pdf | 197Kb | Adobe PDF | View |
| Title | Additive versus Multiplicative Clause Weighting for SAT |
|---|---|
| Author | Thornton, John; Pham, Duc Nghia; Bain, Stuart; Ferreira, Valnir |
| Publication Title | Proceedings : Nineteenth National Conference on Artificial Intelligence (AAAI-04) : Sixteenth Innovative Applications of Artificial Intelligence Conference (IAAI-04) |
| Editor | David Leake (Editor-in Chief) |
| Year Published | 2004 |
| Place of publication | Menlo Park, Calif. |
| Publisher | AAAI Press/MIT Press |
| Peer Reviewed | Yes |
| Published | Yes |
| Publisher URI | http://www.aaai.org/Press/Proceedings/proceedings.php |
| ISBN | 0-262-51183-5 |
| Conference name | National Conference on Artificial Intelligence |
| Location | San Jose, California |
| Date From | 2004-07-25 |
| Date To | 2004-07-29 |
| URI | http://hdl.handle.net/10072/2139 |
| Date Accessioned | 2005-03-29 |
| Date Available | 2008-09-15T02:40:46Z |
| 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/2139
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