Refutation-based synthesis in SMT.

Andrew Reynolds Viktor Kuncak Cesare Tinelli Clark W. Barrett Morgan Deters

Published in: Formal Methods Syst. Des. (2019)

Keyphrases

theorem prover
program synthesis
real time
database systems
analog circuits
data mining
expert systems
artificial neural networks
three dimensional
data structure
texture synthesis
classical logic
statistical machine translation