Login / Signup
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