Angelo Brillout

Identifiers

• name variant Angelo Brillout 0.60 · backfill

Papers (2)

1. Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic (Extended Technical Report) cs.LO · 2010 · author #1
2. Craig Interpolation for Quantifier-Free Presburger Arithmetic cs.LO · 2008 · author #1

Mentions

• 1011.1036 #1 · backfill · confidence 0.70 Angelo Brillout
• 0811.3521 #1 · backfill · confidence 0.70 Angelo Brillout

Frequent Coauthors

• Daniel Kroening 2 shared papers
• Thomas Wahl 2 shared papers
• Philipp Ruemmer 1 shared papers