NP-SPEC: An executable specification language for solving all problems in NP

DOI10.1016/S0096-0551(01)00010-8MaRDI QIDQ2755406zbMATH OpenOpenAlexWikidataFDO

Authors Marco Cadoli, Giovambattista Ianni, Luigi Palopoli, Andrea Schaerf, Domenico Vasile

Publication date 8 November 2001

Published in Computer Languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0096-0551(01)00010-8

zbMATH Keywords

logic-based specification languageNP-SPEC

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1692953
• Compiling problem specifications into SAT
• \(\mathcal {NPD}\)atalog: A logic language for expressing \(\mathcal {NP}\) search and optimization problems
• Interpretable program specification language
• An operational formal definition of PROLOG: A specification method and its application

Cited in

(10)

• NP-SPEC
• Interpretable program specification language
• \textsc{Conjure}: automatic generation of constraint models from problem specifications
• meSAT: multiple encodings of CSP to SAT
• Compiling problem specifications into SAT
• scientific article; zbMATH DE number 1692953 (Why is no real title available?)
• \(\mathcal {NPD}\)atalog: A logic language for expressing \(\mathcal {NP}\) search and optimization problems
• Combining Two Structured Domains for Modeling Various Graph Matching Problems
• Essence: A constraint language for specifying combinatorial problems
• Expressive power and abstraction in Essence

This page was built for publication: NP-SPEC: An executable specification language for solving all problems in NP

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2755406)