FROCOS 2007 - PDF Preprint Papers

FROCOS 2007 International Workshop on Frontiers of Combining Systems

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed FROCOS-2007 Paper

click to vote

FROCOS
2007
Springer

170views Control Systems» more FROCOS 2007»

Architecting Solvers for SAT Modulo Theories: Nelson-Oppen with DPLL

14 years 5 months ago

Download www.csee.ogi.edu

We oﬀer a transition system representing a high-level but detailed architecture for SMT solvers that combine a propositional SAT engine with solvers for multiple disjoint theorie...

Sava Krstic, Amit Goel

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	170	Architecting Solvers for SAT Modulo Theories: Nelson-Oppen with DPLL	claim
2	162	Languages Modulo Normalization	claim
3	152	Combining Algorithms for Deciding Knowledge in Security Protocols	claim
4	139	Combining Proof-Producing Decision Procedures	claim
5	139	Certification of Automated Termination Proofs	claim
6	137	Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions	claim
7	135	From KSAT to Delayed Theory Combination: Exploiting DPLL Outside the SAT Domain	claim
8	120	Termination of Innermost Context-Sensitive Rewriting Using Dependency Pairs	claim
9	120	Combining Classical and Intuitionistic Implications	claim
10	116	Proving Termination Using Recursive Path Orders and SAT Solving	claim
11	104	Idempotent Transductions for Modal Logics	claim
12	103	Towards an Automatic Analysis of Web Service Security	claim
13	91	A Temporal Logic of Robustness	claim
14	89	Temporal Logic with Capacity Constraints	claim
15	87	Noetherianity and Combination Problems	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers