Login / Signup

Small Resolution Proofs for QBF using Dependency Treewidth.

Eduard EibenRobert GanianSebastian Ordyniak
Published in: STACS (2018)
Keyphrases
  • search space
  • small number
  • upper bound