|
DSpace at RU >
Browsing by Author Bruttomesso, Roberto
Showing results 1 to 3 of 3
| Full Text | Issue Date | Title | Author(s) |  | 2006 | Efficient Theory Combination via Boolean Search | Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Junttila, Tommi; Ranise, Silvio, et al |
| | 2005 | An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic | Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Junttila, Tommi; Rossum, P.J.B. van, et al |
| | 2005 | Efficient Satisfiability Modulo Theories via Delayed Theory Combination | Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Junttila, Tommi; Ranise, Silvio, et al |
Showing results 1 to 3 of 3
|
