scholarly journals Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: A Comparative Analysis

2006 ◽  
pp. 527-541 ◽  
Author(s):  
Roberto Bruttomesso ◽  
Alessandro Cimatti ◽  
Anders Franzén ◽  
Alberto Griggio ◽  
Roberto Sebastiani
Keyword(s):  
Comparative Analysis ◽  
Satisfiability Modulo Theories ◽  
Theory Combination

scholarly journals Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis

2009 ◽  
Vol 55 (1-2) ◽  
pp. 63-99 ◽  
Author(s):  
Roberto Bruttomesso ◽  
Alessandro Cimatti ◽  
Anders Franzen ◽  
Alberto Griggio ◽  
Roberto Sebastiani
Keyword(s):  
Comparative Analysis ◽  
Satisfiability Modulo Theories ◽  
Theory Combination

Efficient Satisfiability Modulo Theories via Delayed Theory Combination

2005 ◽  
pp. 335-349 ◽  
Author(s):  
Marco Bozzano ◽  
Roberto Bruttomesso ◽  
Alessandro Cimatti ◽  
Tommi Junttila ◽  
Silvio Ranise ◽  
...  
Keyword(s):  
Satisfiability Modulo Theories ◽  
Theory Combination

1207: Failed Pyeloplasty in Children: Comparative Analysis of Retrograde Endopyelotomy VS. Re-do Pyeloplasty

2007 ◽  
Vol 177 (4S) ◽  
pp. 398-398
Author(s):  
Luis H. Braga ◽  
Joao L. Pippi Salle ◽  
Sumit Dave ◽  
Sean Skeldon ◽  
Armando J. Lorenzo ◽  
...  
Keyword(s):  
Comparative Analysis
Sign in / Sign up

Export Citation Format

Share Document