Pages that link to "Item:Q2755406"
From MaRDI portal
The following pages link to NP-SPEC: an executable specification language for solving all problems in NP (Q2755406):
Displaying 6 items.
- NP-SPEC (Q14787) (← links)
- Essence: A constraint language for specifying combinatorial problems (Q941817) (← links)
- Expressive power and abstraction in Essence (Q941820) (← links)
- \textsc{Conjure}: automatic generation of constraint models from problem specifications (Q2163883) (← links)
- meSAT: multiple encodings of CSP to SAT (Q2342599) (← links)
- Compiling problem specifications into SAT (Q2457689) (← links)
