Constraint-Based Synthesis of Coupling Proofs.

Aws Albarghouthi Justin Hsu

Published in: CoRR (2018)

Keyphrases

theorem proving
constraint based modeling
program synthesis
formal proof
real time
constraint satisfaction
machine learning
information retrieval
information systems
decision making
case study
theorem prover
decision procedures