Morgan Deters

Identifiers

• name variant Morgan Deters 0.60 · backfill

Papers (1)

1. On Counterexample Guided Quantifier Instantiation for Synthesis in CVC4 cs.LO · 2015 · author #2

Mentions

• 1502.04464 #2 · backfill · confidence 0.70 Morgan Deters

Frequent Coauthors

• Andrew Reynolds 1 shared papers
• Cesare Tinelli 1 shared papers
• Clark Barrett 1 shared papers
• Viktor Kuncak 1 shared papers