Used together with:
sat
(1)
claus
(1)
formula
(1)
random
(1)
function
(1)
Stem
renorm$ (
all stems
)
1 papers:
SAT-2002-DuboisD
#random
#satisfiability
Renormalization as a function of clause lengths for solving random k-SAT formulae (
OD
,
GD
), p. 15.
Bibliography of Software Language Engineering in Generated Hypertext
(
BibSLEIGH
) is created and maintained by
Dr. Vadim Zaytsev
.
Hosted as a part of
SLEBOK
on
GitHub
.
SAT-2002-DuboisD #random #satisfiability
SAT-2002-DuboisD #random #satisfiability