On the Configuration of SAT Formulae.

Mauro Vallati Marco Maratea

Published in: AI*IA (2019)

Keyphrases

sat solvers
satisfiability problem
optimal configuration
phase transition
sat solving
propositional satisfiability
search algorithm
search strategies
artificial intelligence
boolean satisfiability
data sets
constraint satisfaction
database
np complete
configuration space
variable ordering
real time