Login / Signup
Sparsification Upper and Lower Bounds for Graphs Problems and Not-All-Equal SAT.
Bart M. P. Jansen
Astrid 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