MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Satisfiability Modulo Theories." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

110 documents found, showing 1 through 10. Next 10 →

ATOM

Satisfiability Modulo Theories
by Cesare Tinelli, Silvio Ghilardi, Sava Krstic, Albert Oliveras, Roberto Sebastiani, Natarajan Shankar, Calogero Zarba, Clark Barrett, Albert Oliveras (for Contributing, Clarke (for The Invitation — 2006 — In Trends and Controversies - IEEE Intelligent Systems Magazine
…Combination and Augmentation Methods for Satisfiability Modulo Theories Cesare Tinelli tinelli…
Cited by 4 (1 self) – Add To MetaCart

Chapter 12 Satisfiability Modulo Theories
by Armin Biere, Marijn Heule, Hans Van Maaren, Toby Walsch, C Clark Barrett, Roberto Sebastiani, Sanjit A. Seshia, Cesare Tinelli All, Clark Barrett, Roberto Sebastiani, Sanjit A. Seshia, Cesare Tinelli
… reserved. 737 Chapter 12 Satisfiability Modulo Theories Clark Barrett, Roberto Sebastiani, Sanjit A. Seshia…
Add To MetaCart

TSAT++: an Open Platform for Satisfiability Modulo Theories
by Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Massimo Idini, Marco Maratea — 2004
…PDPAR 2004 Preliminary Version TSAT++: an Open Platform for Satisfiability Modulo Theories 1…
Cited by 5 (1 self) – Add To MetaCart

Satisfiability modulo theory chains with DPLL(T
by Scott Cotton, Oded Maler, Verimag Centre — 2006 — In Verimag
…Satisfiability Modulo Theory Chains with DPLL(T) Scott Cotton and Oded Maler Verimag, Centre…
Cited by 2 (1 self) – Add To MetaCart

Efficient Interpolant Generation in Satisfiability Modulo Theories ⋆
by Ro Cimatti, Alberto Griggio, Roberto Sebastiani, Ro Cimatti, Alberto Griggio, Roberto Sebastiani — 2007
… Generation in Satisfiability Modulo Theories ⋆ Alessandro Cimatti 1 , Alberto Griggio 2 , and Roberto…
Cited by 2 (0 self) – Add To MetaCart

From Propositional Satisfiability to Satisfiability Modulo Theories
by Hossein M. Sheini, Karem A. Sakallah — 2006 — In Theory and Applications of Satisfiability Testing (SAT
…From Propositional Satisfiability to Satisfiability Modulo Theories Hossein M. Sheini and Karem A…
Cited by 3 (0 self) – Add To MetaCart

A progressive simplifier for satisfiability modulo theories
by Hossein M. Sheini, Karem A. Sakallah — 2006 — In Proc. SAT’06, volume 4121 of LNCS
…A Progressive Simplifier for Satisfiability Modulo Theories ⋆ Hossein M. Sheini and Karem A…
Cited by 2 (1 self) – Add To MetaCart

SMT-COMP: Satisfiability Modulo Theories Competition
by Clark Barrett, Leonardo De Moura, Aaron Stump — 2005 — In CAV’05, LNCS 3576
…SMT-COMP: Satisfiability Modulo Theories Competition 1 Introduction Clark Barrett 1 , Leonardo de…
Cited by 20 (1 self) – Add To MetaCart

Design and Results of the 2nd Annual Satisfiability Modulo Theories competition
by Clark Barrett, Leonardo De Moura, Aaron Stump — SMT-COMP 2006). Formal Methods in System Design
…Design and Results of the 2nd Annual Satisfiability Modulo Theories Competition (SMT-COMP 2006…
Cited by 1 (1 self) – Add To MetaCart

Using Satisfiability Modulo Theories to Analyze Abstract State Machines
by Margus Veanes, Ando Saabas
…Using Satisfiability Modulo Theories to Analyze Abstract State Machines Margus Veanes 1 and Ando…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB