Sign in
NeuRes: Learning Proofs of Propositional Satisfiability.
Mohamed Ghanem
Frederik Schmitt
Julian Siber
Bernd Finkbeiner
Published in:
CoRR (2024)
Keyphrases
</>
learning algorithm
query language
scheduling problem
propositional satisfiability