BEE

MaRDI QIDQ28852swMATHFDO

Official website http://amit.metodi.me/research/bee/

Described by source

• Compiling finite domain constraints to SAT with BEE

Cited in

(12)

• meSAT: multiple encodings of CSP to SAT
• SAT and IP based algorithms for magic labeling including a complete search for total magic labelings
• Constraints for symmetry breaking in graph representation
• URBiVA
• aspcud
• pl-nauty
• GidL
• GenerateUHG
• Logic Programming with Graph Automorphism: Integratingnautywith Prolog (Tool Description)
• Complete symmetry breaking constraints for the class of uniquely Hamiltonian graphs
• Optimal-depth sorting networks
• What is answer set programming to propositional satisfiability

This page was built for software: BEE