BFS-Based Symmetry Breaking Predicates for DFA Identification.
Vladimir UlyantsevIlya ZakirzyanovAnatoly ShalytoPublished in: LATA (2015)
Keyphrases
- symmetry breaking
- search tree
- constraint programming
- boolean satisfiability
- quantified boolean formulae
- constraint satisfaction problems
- integer linear programming
- search algorithm
- global constraints
- search space
- branch and bound algorithm
- sat solvers
- search strategies
- differential evolution
- optimal solution
- tree search
- b tree