The following pages link to NP-SPEC (Q14787):
Displaying 20 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)
- Translating OWL and semantic web rules into prolog: Moving toward description logic programs (Q3506434) (← links)
- Incremental Algorithms for Local Search from Existential Second-Order Logic (Q3524163) (← links)
- (Q3624016) (← links)
- (Q4702577) (← links)
- PBINT, A Logic for Modelling Search Problems Involving Arithmetic (Q4933335) (← links)
- (Q4955344) (← links)
- Combining Two Structured Domains for Modeling Various Graph Matching Problems (Q5302726) (← links)
- Recent Advances in Constraints (Q5703914) (← links)
- Logic Based Program Synthesis and Transformation (Q5713942) (← links)
- Logic Based Program Synthesis and Transformation (Q5713943) (← links)
