Azucar

MaRDI QIDQ22052swMATHFDO

Official website http://link.springer.com/chapter/10.1007/978-3-642-31612-8_37

Cited in

(10)

• Time-expanded graph-based propositional encodings for makespan-optimal solving of cooperative path finding problems
• URBiVA
• \textsc{Conjure}: automatic generation of constraint models from problem specifications
• Sugar
• GlueMiniSat
• CSP2SAT4J
• meSAT: multiple encodings of CSP to SAT
• ASlib: a benchmark library for algorithm selection
• ESRA
• meSAT

This page was built for software: Azucar