A framework for cooperating decision procedures

DOI10.1007/10721959_6MaRDI QIDQ2723410zbMATH OpenFDO

Authors Clark Barrett, Aaron Stump, David L. Dill

Publication date 5 July 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/10721959_6

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)

Recommendations

• Strategies for combining decision procedures
• Strategies for combining decision procedures
• Combining decision procedures.
• Frontiers of Combining Systems
• A framework for the flexible integration of a class of decision procedures into theorem provers

Cited in

(8)

• Generalizing DPLL and satisfiability for equalities
• Rewrite-based decision procedures
• scientific article; zbMATH DE number 4058837 (Why is no real title available?)
• A framework for the flexible integration of a class of decision procedures into theorem provers
• A rewrite rule based framework for combining decision procedures (preliminary draft)
• Frontiers of Combining Systems
• Producing and verifying extremely large propositional refutations
• Design and results of the first satisfiability modulo theories competition (SMT-COMP 2005)

Describes a project that uses

Uses Software

• PVS

This page was built for publication: A framework for cooperating decision procedures

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