Sign in

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

Johannes Klaus FichteRobert GanianMarkus HecherFriedrich SlivovskySebastian Ordyniak
Published in: CoRR (2023)
Keyphrases
  • lower bound
  • search space
  • scheduling problem
  • np complete