pith. sign in

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