Theory Exploration Powered by Deductive Synthesis.

Eytan Singher Shachar Itzhaky

Published in: CAV (2) (2021)

Keyphrases

deductive reasoning
theoretical framework
theoretical basis
general theory
functional programs
data mining
database
data sets
video sequences
information technology
object oriented
logic programs
computational model
texture synthesis
program synthesis