SAT Competition 2018

Journal on Satisfiability, Boolean Modeling and Computation ◽

10.3233/sat190120 ◽

2019 ◽

Vol 11 (1) ◽

pp. 133-154

Author(s):

Marijn J. H. Heule ◽

Matti Järvisalo ◽

Martin Suda

Download Full-text