"SAT Competition 2018."

Marijn J. H. Heule, Matti Järvisalo, Martin Suda (2019)

Details and statistics

DOI: 10.3233/SAT190120

access: open

type: Journal Article

metadata version: 2020-03-30

a service of  Schloss Dagstuhl - Leibniz Center for Informatics