Login / Signup

Sparsification Upper and Lower Bounds for Graphs Problems and Not-All-Equal SAT.

Bart M. P. JansenAstrid Pieterse
Published in: IPEC (2015)
Keyphrases
  • upper and lower bounds
  • upper bound
  • lower bound
  • search problems
  • special case
  • probabilistic model
  • np complete
  • sat solvers
  • lower and upper bounds
  • sat solving