Roberto Sebastiani (DISI

Identifiers

• name variant Roberto Sebastiani (DISI 0.60 · backfill

Papers (1)

1. Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic cs.LO · 2010 · author #7

Mentions

• 1010.4422 #7 · backfill · confidence 0.70 Roberto Sebastiani (DISI

Frequent Coauthors

• Alberto Griggio (FBK-Irst 1 shared papers
• Italy) 1 shared papers
• Thi Thieu Hoa Le (DISI 1 shared papers
• Trento 1 shared papers
• University of Trento 1 shared papers