The following publications are possibly variants of this publication:
- Efficient generation of craig interpolants in satisfiability modulo theoriesAlessandro Cimatti, Alberto Griggio, Roberto Sebastiani. tocl, 12(1):7, 2010. [doi]
- Efficient Interpolant Generation in Satisfiability Modulo Linear Integer ArithmeticAlberto Griggio, Thi Thieu Hoa Le, Roberto Sebastiani. TACAS 2011: 143-157 [doi]
- Satisfiability Modulo TheoriesClark W. Barrett, Roberto Sebastiani, Sanjit A. Seshia, Cesare Tinelli. In Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh, editors, Handbook of Satisfiability. Volume 185 of Frontiers in Artificial Intelligence and Applications, pages 825-885, IOS Press, 2009. [doi]
- Satisfiability Modulo TheoriesClark W. Barrett, Roberto Sebastiani, Sanjit A. Seshia, Cesare Tinelli. In Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh, editors, Handbook of Satisfiability - Second Edition. Volume 336 of Frontiers in Artificial Intelligence and Applications, pages 1267-1329, IOS Press, 2021. [doi]
- Efficient Satisfiability Modulo Theories via Delayed Theory CombinationMarco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Silvio Ranise, Peter van Rossum, Roberto Sebastiani. cav 2005: 335-349 [doi]