An edition of Theory and Applications of Satisfiability Testing (vol. # 3542)
(2005)
Theory and Applications of Satisfiability Testing
7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers (Lecture Notes in Computer Science)
1 edition
by Holger H. Hoos and David G. Mitchell
- 0 Ratings
- 0 Want to read
- 0 Currently reading
- 0 Have read
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Showing 1 featured edition. View all 1 editions?
| Edition | Availability |
|---|---|
1
Theory and Applications of Satisfiability Testing: 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers (Lecture Notes in Computer Science)
August 22, 2005, Springer
Paperback
in English
- 1 edition
354027829X 9783540278290
|
aaaa
Libraries near you:
WorldCat
|
Book Details
First Sentence
"In the last few years, the AI community has investigated the generic problem solving approach which consists of modeling hard combinatorial problems as instances of the propositional satisfiability problem (SAT) and then solving the resulting encodings with algorithms for SAT."
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
History
- Created April 30, 2008
- 9 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| December 31, 2022 | Edited by MARC Bot | import existing book |
| October 4, 2021 | Edited by ImportBot | import existing book |
| December 14, 2020 | Edited by MARC Bot | import existing book |
| July 28, 2014 | Edited by ImportBot | import new book |
| April 30, 2008 | Created by an anonymous user | Imported from amazon.com record |