Items where Author is "Franzén, Anders"
 | Up a level |
Group by: Item Type | No Grouping
Number of items: 2.
Bruttomesso, Roberto and Cimatti, Alessandro and Franzén, Anders and Griggio, Alberto and Sebastiani, Roberto (2006) Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. UNSPECIFIED.
Bruttomesso, Roberto and Cimatti, Alessandro and Franzén, Anders and Griggio, Alberto and Santuari, Alessandro and Sebastiani, Roberto (2006) To Ackermann-ize or not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF U T). UNSPECIFIED. (In Press)
Unitn-eprints Research supports Open Archives Protocol for Metadata Harvesting OAI 2.0
with a base URL of http://eprints.biblio.unitn.it/cgi/oai2
Contact and information