Journal on Satisfiability, Boolean Modeling and Computation, Volume 10

Volume 10, 2016

Proof Complexity Articles Proof Complexity
maintained by Schloss Dagstuhl LZI, founded at University of Trier