SAT 2005 Satisfiability Research in the Year 2005
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Electronic Kit Book |
| Language: | English |
| Published: |
Dordrecht
Springer
2006
|
| Subjects: | |
| Online Access: | http://dx.doi.org/10.1007/978-1-4020-5571-3 |
