Journal on Satisfiability, Boolean Modeling and Computation (Journal or book series)

Armin Biere (Editor)

Institute of Formal Models and Verification

Activity: Publication peer-review and editorial work › Editorial work

Description

Special Volume on the SAT 2005 competitions and evaluations

Period	Mar 2006
Type of journal	Journal

Fields of science

102 Computer Sciences