swMATH10083MaRDI QIDQ22052FDOQ22052
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007/978-3-642-31612-8_37
Cited In (10)
- meSAT: multiple encodings of CSP to SAT
- ASlib: a benchmark library for algorithm selection
- \textsc{Conjure}: automatic generation of constraint models from problem specifications
- URBiVA
- CSP2SAT4J
- GlueMiniSat
- Sugar
- ESRA
- meSAT
- Time-expanded graph-based propositional encodings for makespan-optimal solving of cooperative path finding problems
This page was built for software: Azucar
