Satisfiability and Synthesis Modulo Oracles.

Elizabeth Polgreen Andrew Reynolds Sanjit A. Seshia

Published in: CoRR (2021)

Keyphrases

satisfiability problem
np complete
phase transition
program synthesis
machine learning
computational complexity
active learning
propositional logic
texture synthesis
database
data sets
case study
test cases
sat solving
satisfiability testing