Journal on Satisfiability, Boolean Modeling and Computations: Special volume on SAT 2018 Competitions and Evaluations (Journal or book series)

Luca Pulina (Editor)
Seidl, M. (Editor)

Institute of Formal Models and Verification

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

Period	2019
Type of journal	Journal

Fields of science

202006 Computer hardware
603109 Logic
102 Computer Sciences
102031 Theoretical computer science
102011 Formal languages
102022 Software development
102001 Artificial intelligence