Symmetry-Breaking Bifurcations of the Information Bottleneck and Related Problems.
Albert E. ParkerAlexander G. DimitrovPublished in: Entropy (2022)
Keyphrases
- related problems
- symmetry breaking
- constraint programming
- search tree
- global constraints
- boolean satisfiability
- constraint satisfaction problems
- quantified boolean formulae
- integer linear programming
- graph coloring
- search algorithm
- symmetry breaking constraints
- upper bound
- description logics
- constraint satisfaction
- sat solvers