Sign in
Exact DFA Identification Using SAT Solvers.
Marijn Heule
Sicco Verwer
Published in:
ICGI (2010)
Keyphrases
</>
sat solvers
orders of magnitude
propositional satisfiability
max sat
constraint satisfaction
sat solving
sat problem
weighted max sat
sat instances
search tree
search strategies
boolean satisfiability
sat encodings
search space
clause learning
evolutionary algorithm
boolean formula
search algorithm