Theory and applications of satisfiability testing - SAT 2010 13th international conference, SAT 2010, Edinburgh, UK, July 11-14, 2010 ; proceedings

Bibliographische Detailangaben

Körperschaft:	SAT (BerichterstatterIn)
Weitere Verfasser:	Strichman, Ofer (HerausgeberIn), Szeider, Stefan (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin, Heidelberg u.a. Springer 2010
Schriftenreihe:	Lecture notes in computer science 6175
Schlagworte:	Konferenzschrift > Erfüllbarkeitsproblem > Boolesche Formel
Online Zugang:	Inhaltstext Inhaltsverzeichnis Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!