Sign in

Structure-Aware Lower Bounds and Broadening the Horizon of Tractability for QBF.

Johannes Klaus FichteRobert GanianMarkus HecherFriedrich SlivovskySebastian Ordyniak
Published in: LICS (2023)
Keyphrases
  • lower bound
  • upper bound
  • branch and bound algorithm
  • neural network
  • learning algorithm
  • np hard
  • np complete
  • orders of magnitude
  • geometric structure