Login / Signup
A better upper bound for the unsatisfiability threshold.
Lefteris M. Kirousis
Evangelos Kranakis
Danny Krizanc
Published in:
Satisfiability Problem: Theory and Applications (1996)
Keyphrases
</>
upper bound
lower bound
worst case
branch and bound algorithm
max sat
upper and lower bounds
branch and bound
special case
lower and upper bounds
error probability
threshold selection
scheduling problem
generalization error
case study
group testing
data sets
adaptive threshold
real time