NP-SPEC: an executable specification language for solving all problems in NP
From MaRDI portal
Publication:2755406
DOI10.1016/S0096-0551(01)00010-8zbMath0995.68025MaRDI QIDQ2755406
Andrea Schaerf, Luigi Palopoli, Giovambattista Ianni, Marco Cadoli, Domenico Vasile
Publication date: 8 November 2001
Published in: Computer Languages (Search for Journal in Brave)
68N15: Theory of programming languages
68Q60: Specification and verification (program logics, model checking, etc.)
68N17: Logic programming
Related Items
Combining Two Structured Domains for Modeling Various Graph Matching Problems, NP-SPEC, Essence: A constraint language for specifying combinatorial problems, Expressive power and abstraction in Essence, meSAT: multiple encodings of CSP to SAT, Compiling problem specifications into SAT, atalog: A logic language for expressing search and optimization problems