Theory and applications of satisfiability testing

14th international conference : proceedings

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:
ID: 19289580X

Keine Exemplare vorhanden

Es sind keine Exemplare vorhanden