Login / Signup
Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference.
Ilya Zakirzyanov
António Morgado
Alexey Ignatiev
Vladimir Ulyantsev
João Marques-Silva
Published in:
LATA (2019)
Keyphrases
</>
symmetry breaking
boolean satisfiability
sat solvers
constraint programming
answer set programming
integer linear programming
orders of magnitude