BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
3 × Canada
Collaborated with:
A.Darwiche S.A.Siddiqi A.Schumann M.Sachenbacher
Talks about:
use (3) construct (2) effici (2) obdd (2) dpll (2) determinist (1) constraint (1) strategi (1) sequenti (1) diagnosi (1)

Person: Jinbo Huang

DBLP DBLP: Huang:Jinbo

Contributed to:

KR 20122012
KR 20102010
MBT 20092009
SAT 20042004
SAT 20042005

Wrote 6 papers:

KR-2012-Huang #reasoning
Compactness and Its Implications for Qualitative Spatial and Temporal Reasoning (JH).
KR-2012-Huang12a #constraints #simulation
Search Strategy Simulation in Constraint Booleanization (JH).
KR-2010-SiddiqiH #roadmap
New Advances in Sequential Diagnosis (SAS, JH).
MBT-2009-SchumannSH #graph #nondeterminism #testing #using
Computing Optimal Tests for Non-deterministic Systems Using DNNF Graphs (AS, MS, JH), pp. 87–99.
SAT-2004-HuangD #performance #using
Using DPLL for Efficient OBDD Construction (JH, AD), pp. 127–136.
SAT-J-2004-HuangD05 #performance #using
Using DPLL for Efficient OBDD Construction (JH, AD), pp. 157–172.

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.