Azucar

swMATH10083MaRDI QIDQ22052FDOQ22052

Author name not available (Why is that?)

Cited In (4)

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

This page was built for software: Azucar