Sebastiani, Roberto; Tomasi, Silvia Optimization modulo theories with linear rational costs. (English) Zbl 1354.68233 ACM Trans. Comput. Log. 16, No. 2, Article No. 12, 43 p. (2015). MSC: 68T15 68T20 PDFBibTeX XMLCite \textit{R. Sebastiani} and \textit{S. Tomasi}, ACM Trans. Comput. Log. 16, No. 2, Article No. 12, 43 p. (2015; Zbl 1354.68233) Full Text: DOI arXiv
Sebastiani, Roberto; Vescovi, Michele Axiom pinpointing in lightweight description logics via Horn-SAT encoding and conflict analysis. (English) Zbl 1250.68246 Schmidt, Renate A. (ed.), Automated deduction – CADE-22. 22nd international conference on automated deduction, Montreal, Canada, August 2–7, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02958-5/pbk). Lecture Notes in Computer Science 5663. Lecture Notes in Artificial Intelligence, 84-99 (2009). MSC: 68T27 03B35 68T15 68T30 PDFBibTeX XMLCite \textit{R. Sebastiani} and \textit{M. Vescovi}, Lect. Notes Comput. Sci. 5663, 84--99 (2009; Zbl 1250.68246) Full Text: DOI Link
Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Junttila, Tommi; Ranise, Silvio; Van Rossum, Peter; Sebastiani, Roberto Efficient theory combination via Boolean search. (English) Zbl 1137.68578 Inf. Comput. 204, No. 10, 1493-1525 (2006). MSC: 68T20 PDFBibTeX XMLCite \textit{M. Bozzano} et al., Inf. Comput. 204, No. 10, 1493--1525 (2006; Zbl 1137.68578) Full Text: DOI
Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Junttila, Tommi; van Rossum, Peter; Schulz, Stephan; Sebastiani, Roberto MathSAT: Tight integration of SAT and mathematical decision procedures. (English) Zbl 1109.68101 J. Autom. Reasoning 35, No. 1-3, 265-293 (2005). MSC: 68T20 PDFBibTeX XMLCite \textit{M. Bozzano} et al., J. Autom. Reasoning 35, No. 1--3, 265--293 (2005; Zbl 1109.68101) Full Text: DOI
Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Junttila, Tommi; Ranise, Silvio; van Rossum, Peter; Sebastiani, Roberto Efficient satisfiability modulo theories via delayed theory combination. (English) Zbl 1081.68610 Etessami, Kousha (ed.) et al., Computer aided verification. 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6–10, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27231-3/pbk). Lecture Notes in Computer Science 3576, 335-349 (2005). MSC: 68Q60 03B70 PDFBibTeX XMLCite \textit{M. Bozzano} et al., Lect. Notes Comput. Sci. 3576, 335--349 (2005; Zbl 1081.68610) Full Text: DOI
Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Junttila, Tommi; van Rossum, Peter; Schulz, Stephan; Sebastiani, Roberto An incremental and layered procedure for the satisfiability of linear arithmetic logic. (English) Zbl 1087.68630 Halbwachs, Nicolas (ed.) et al., Tools and algorithms for the construction and analysis of systems. 11th international conference, TACAS 2005, held as part of the joint European conference on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4–8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25333-5/pbk). Lecture Notes in Computer Science 3440, 317-333 (2005). MSC: 68T15 03B35 PDFBibTeX XMLCite \textit{M. Bozzano} et al., Lect. Notes Comput. Sci. 3440, 317--333 (2005; Zbl 1087.68630) Full Text: DOI
Cimatti, Alessandro; Giunchiglia, Enrico; Pistore, Marco; Roveri, Marco; Sebastiani, Roberto; Tacchella, Armando Integrating BDD-based and SAT-based symbolic model checking. (English) Zbl 1057.68623 Armando, Alessandro (ed.), Frontiers of combining systems. 4th international workshop, FroCos 2002, Santa Margherita Ligure, Italy, April 8–10, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43381-3). Lect. Notes Comput. Sci. 2309, 49-56 (2002). MSC: 68Q60 68T15 68W30 PDFBibTeX XMLCite \textit{A. Cimatti} et al., Lect. Notes Comput. Sci. 2309, 49--56 (2002; Zbl 1057.68623) Full Text: Link
Cimatti, Alessandro; Clarke, Edmund; Giunchiglia, Enrico; Giunchiglia, Fausto; Pistore, Marco; Roveri, Marco; Sebastiani, Roberto; Tacchella, Armando NuSMV 2: An OpenSource tool for symbolic model checking. (English) Zbl 1010.68766 Brinksma, Ed (ed.) et al., Computer aided verification. 14th international conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2404, 359-364 (2002). MSC: 68U99 68Q60 PDFBibTeX XMLCite \textit{A. Cimatti} et al., Lect. Notes Comput. Sci. 2404, 359--364 (2002; Zbl 1010.68766) Full Text: Link