Journal on Satisfiability, Boolean Modeling and Computation (Fachzeitschrift oder Schriftenreihe)

Armin Biere (Herausgeber*in)

Institut für Formale Modelle und Verifikation

Aktivität: Begutachtung von Publikationen und Herausgebertätigkeiten › Herausgebertätigkeit

Beschreibung

Special Volume on the SAT 2005 competitions and evaluations

Zeitraum	März 2006
Journaltyp	Zeitschrift

Wissenschaftszweige

102 Informatik