Compiling finite domain constraints to SAT with BEE: The director's cut

Keyphrases

• Equus 100%
• Constraint-based Modeling 100%
• Finite Domain Constraints 100%
• Boolean Functions 50%
• SAT Solver 50%
• Boolean 50%
• Compiler 50%
• Cardinality Constraint 50%
• Small Fragments 50%
• Number Representation 50%
• CNF Encoding 50%
• Binary Representation 50%
• Hybrid Encoding 50%

Computer Science

• Finite Domain Constraint 100%
• Boolean Function 50%
• Cardinality 50%
• Binary Representation 50%