Satisfiability and Synthesis Modulo Oracles.

Elizabeth Polgreen Andrew Reynolds Sanjit A. Seshia

Published in: VMCAI (2022)

Keyphrases

satisfiability problem
np complete
propositional logic
genetic algorithm
program synthesis
data sets
phase transition
terminological reasoning
databases
machine learning
database systems
training set