Login / Signup

Reducing Treewidth for SAT-Related Problems Using Simple Liftings.

Ernst AlthausDaniela Schnurbusch
Published in: ISCO (2024)
Keyphrases
  • related problems
  • broadly applicable
  • search space
  • range searching
  • neural network
  • upper bound
  • satisfiability problem
  • space complexity