Overview and analysis of the SAT Challenge 2012 solver competition
| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
| Publikationstyp | Zeitschriftenaufsatz |
| Jahr | 2015 |
| Sprache | Englisch |
| Identifikator | ISSN: 0004-3702 KITopen ID: 1000057139 |
| Erschienen in | Artificial intelligence |
| Band | 223 |
| Seiten | 120-155 |