Beyond satisfiability: extensions and applications

DOI10.1007/978-1-4020-6254-4_17MaRDI QIDQ3564034zbMATH OpenOpenAlexFDO

Authors Natarajan Shankar

Publication date 2 June 2010

Published in Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-1-4020-6254-4_17

Mathematics Subject Classification ID

Recommendations

• Satisfiability checking: theory and applications
• A Tutorial on Satisfiability Modulo Theories
• Computer Aided Verification
• Satisfiability modulo theories
• A satisfiability procedure for quantified Boolean formulae

Cited in

(8)

• Extending the reach of SAT with many-valued logics
• On an unsatisfiability-satisfiability prover
• scientific article; zbMATH DE number 5287580 (Why is no real title available?)
• The big deal: applying constraint satisfaction technologies where it makes the difference
• Satisfiability: where Theory meets Practice (Invited Talk).
• Multi-valued extension of Putnam-Davis procedure
• scientific article; zbMATH DE number 4088977 (Why is no real title available?)
• scientific article; zbMATH DE number 5679749 (Why is no real title available?)

This page was built for publication: Beyond satisfiability: extensions and applications

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