Scarab: A Rapid Prototyping Tool for SAT-Based Constraint Programming Systems.
Takehide SohNaoyuki TamuraMutsunori BanbaraPublished in: SAT (2013)
Keyphrases
- constraint programming
- rapid prototyping
- constraint solver
- constraint propagation
- constraint logic programming
- constraint satisfaction
- constraint satisfaction problems
- combinatorial problems
- integer programming
- global constraints
- expert systems
- search strategies
- arc consistency
- column generation
- search heuristics
- constraint solvers
- data mining
- hard and soft constraints
- constraint solving
- development environment
- user interface
- case study
- knowledge base