The following pages link to Azucar (Q22052):
Displayed 4 items.
- ASlib: a benchmark library for algorithm selection (Q286390) (← links)
- Time-expanded graph-based propositional encodings for makespan-optimal solving of cooperative path finding problems (Q1688718) (← links)
- \textsc{Conjure}: automatic generation of constraint models from problem specifications (Q2163883) (← links)
- meSAT: multiple encodings of CSP to SAT (Q2342599) (← links)