Theory and applications of satisfiability testing
14th international conference : proceedings
Gespeichert in:
Verfasser / Beitragende:
SAT 2011, Ann Arbor, Mi, USA, June 19-22, 2011 ; Karem A. Sakallah ... [et al.] (eds.)
Ort, Verlag, Jahr:
Heidelberg :
Springer,
2011
Beschreibung:
Online-Ressource
Format:
Buch (Kongress) (online)
Online Zugang: