Pablo Federico Dobal

Identifiers

• name variant Pablo Federico Dobal 0.60 · backfill

Papers (1)

1. Adapting Real Quantifier Elimination Methods for Conflict Set Computation cs.LO · 2015 · author #2

Mentions

• 1511.01123 #2 · backfill · confidence 0.70 Pablo Federico Dobal

Frequent Coauthors

• Maximilian Jaroschek 1 shared papers
• Pascal Fontaine 1 shared papers