NP-SPEC
From MaRDI portal
Software:14787
No author found.
Related Items (20)
Combining Two Structured Domains for Modeling Various Graph Matching Problems ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ \textsc{Conjure}: automatic generation of constraint models from problem specifications ⋮ Unnamed Item ⋮ Logic Based Program Synthesis and Transformation ⋮ Logic Based Program Synthesis and Transformation ⋮ Recent Advances in Constraints ⋮ Unnamed Item ⋮ Translating OWL and semantic web rules into prolog: Moving toward description logic programs ⋮ Unnamed Item ⋮ Incremental Algorithms for Local Search from Existential Second-Order Logic ⋮ Compiling problem specifications into SAT ⋮ Logic programs with stable model semantics as a constraint programming paradigm ⋮ Essence: A constraint language for specifying combinatorial problems ⋮ Expressive power and abstraction in Essence ⋮ Unnamed Item ⋮ PBINT, A Logic for Modelling Search Problems Involving Arithmetic ⋮ Extending and implementing the stable model semantics
This page was built for software: NP-SPEC
