Theory and application of satisfiability testing - SAT 2011 14th international conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2011
|
| Schriftenreihe: | Lecture notes in computer science
6695 |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Beschreibung: | XII, 380 S. graph. Darst. |
|---|---|
| ISBN: | 3642215807 9783642215803 |