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

Period	Aug 2005
Type of journal	Journal

Fields of science

102 Computer Sciences