Login / Signup

NeuRes: Learning Proofs of Propositional Satisfiability.

Mohamed GhanemFrederik SchmittJulian SiberBernd Finkbeiner
Published in: CoRR (2024)
Keyphrases
  • learning algorithm
  • query language
  • scheduling problem
  • propositional satisfiability