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