Travelled to:
1 × USA
Collaborated with:
C.M.Li
Talks about:
character
(1)
measur
(1)
empir
(1)
sat
(1)
Person:
Hachemi Bennaceur
DBLP: Bennaceur:Hachemi
Contributed to:
2002
Wrote 1 papers:
SAT-2002-LiB
#empirical
#satisfiability
An empirical measure for characterizing 3-SAT (
CML
,
HB
), p. 35.
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
.