- Record: found
- Abstract: not found
- Book Chapter: not found
Computer Aided Verification
Counterexample-Guided Quantifier Instantiation for Synthesis in SMT
other
July 14 2015
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references20
- Record: found
- Abstract: not found
- Book Chapter: not found
CVC4
Clark Barrett, Christopher Conway, Morgan Deters … (2011)
- Record: found
- Abstract: not found
- Conference Proceedings: not found
Combinatorial sketching for finite programs
Armando Solar-Lezama, Liviu Tancau, Rastislav Bodik … (2006)
- Record: found
- Abstract: not found
- Conference Proceedings: not found
Syntax-guided synthesis
Mukund Raghothaman, Sanjit Seshia, Abhishek Udupa … (2013)