Items where Author is "Santuari, Alessandro"

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Item Type | No Grouping
Jump to: Departmental Technical Report
Number of items: 1.

Departmental Technical Report

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)

This list was generated on Tue Jul 23 01:06:38 2024 CEST.