Azucar
From MaRDI portal
Software:22052
No author found.
Related Items (4)
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 ⋮ meSAT: multiple encodings of CSP to SAT
This page was built for software: Azucar
