Login / Signup

Lower Bounds for Set-Blocked Clauses Proofs.

Emre Yolcu
Published in: STACS (2024)
Keyphrases
  • lower bound
  • small number
  • search space
  • upper bound
  • probability distribution
  • first order logic
  • satisfiability problem
  • lower and upper bounds