Login / Signup

Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference.

Ilya ZakirzyanovAntónio MorgadoAlexey IgnatievVladimir UlyantsevJoã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