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: Huang:Jinbo
Contributed to:
20122010
2009
20042005Wrote 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.