scientific article; zbMATH DE number 1692953

MaRDI QIDQ2763686zbMATH OpenFDO

Authors Marco Cadoli, Andrea Schaerf

Publication date 21 January 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2028/20280387

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Compiling problem specifications into SAT
• NP-SPEC: An executable specification language for solving all problems in NP
• Writing declarative specifications for clauses
• URSA: a system for uniform reduction to SAT
• Regular-SAT: A many-valued approach to solving combinatorial problems

Cited in

(6)

• Compiling problem specifications into SAT
• NP-SPEC: An executable specification language for solving all problems in NP
• Writing declarative specifications for clauses
• Generating Diverse Solutions in SAT
• URSA: a system for uniform reduction to SAT
• scientific article; zbMATH DE number 2165692 (Why is no real title available?)

This page was built for publication:

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