Morgan Deters

Identifiers

No identifiers captured yet.

Papers (1)

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

Mentions

No mention provenance yet.

Frequent Coauthors

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