The following pages link to NP-SPEC (Q14787):
Displaying 10 items.
- Essence: A constraint language for specifying combinatorial problems (Q941817) (← links)
- Expressive power and abstraction in Essence (Q941820) (← links)
- Extending and implementing the stable model semantics (Q1603743) (← links)
- Logic programs with stable model semantics as a constraint programming paradigm (Q1978008) (← links)
- \textsc{Conjure}: automatic generation of constraint models from problem specifications (Q2163883) (← links)
- Compiling problem specifications into SAT (Q2457689) (← links)
- (Q2734932) (← links)
- (Q2734950) (← links)
- (Q2763685) (← links)
- (Q3413498) (← links)
