E-book
Theory and Applications of Satisfiability Testing - SAT 2009 [electronic resource] : 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings / edited by Oliver Kullmann.
Record details
- ISBN: 9783642027772
- Physical Description: online resource.
- Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Search for related items by subject
| Subject: | Computer science. Computer Science. Computer Science, general. |
