Constraint-Based Synthesis of Coupling Proofs.

Aws Albarghouthi Justin Hsu

Published in: CAV (1) (2018)

Keyphrases

program synthesis
theorem prover
theorem proving
equational theories
mathematical knowledge
software engineering
image processing
decision procedures
formal proofs
search algorithm
expert systems
constraint satisfaction
bayesian networks
data mining
sequent calculus
cut elimination
data sets
real time