Travelled to:
1 × Italy
Collaborated with:
C.Bessière
T.Walsh
Talks about:
consist
(1)
local
(1)
sat
(1)
Person:
Emmanuel Hebrard
DBLP: Hebrard:Emmanuel
Contributed to:
2003
Wrote 1 papers:
SAT-2003-BessiereHW
#consistency
#satisfiability
Local Consistencies in SAT (
CB
,
EH
,
TW
), pp. 299–314.
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
.