SAT Competition 2018.

Marijn J. H. Heule Matti Järvisalo Martin Suda

Published in: J. Satisf. Boolean Model. Comput. (2019)

Keyphrases

sat solvers
satisfiability problem
search algorithm
data sets
sat problem
boolean satisfiability
sat solving
database
neural network
phase transition
propositional satisfiability
international planning competition
real time
orders of magnitude
international competition
pseudo boolean constraints