Journal on Satisfiability, Boolean Modeling and Computation
Title Titel
Journal on Satisfiability, Boolean Modeling and Computation
ISSN
1574-0617
Peer reviewed Begutachtet