Theory and Applications of Satisfiability Testing - SAT 2006 [electronic resource] : 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings / edited by Armin Biere, Carla P. Gomes.
Material type: Computer fileSeries: Lecture Notes in Computer Science ; 4121Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006.Description: v.: digitalISBN:- 9783540372073
- Computer science
- Operating systems (Computers)
- Computer software
- Electronic data processing
- Artificial intelligence
- Logic, Symbolic and mathematical
- Computer Science
- Mathematical Logic and Formal Languages
- Algorithm Analysis and Problem Complexity
- Operating Systems
- Numeric Computing
- Artificial Intelligence (incl. Robotics)
- Mathematical Logic and Foundations
No physical items for this record
There are no comments on this title.
Log in to your account to post a comment.