Cited in
(10)- \textsc{Conjure}: automatic generation of constraint models from problem specifications
- ASlib: a benchmark library for algorithm selection
- Time-expanded graph-based propositional encodings for makespan-optimal solving of cooperative path finding problems
- meSAT: multiple encodings of CSP to SAT
- URBiVA
- CSP2SAT4J
- GlueMiniSat
- Sugar
- ESRA
- meSAT
This page was built for software: Azucar