Travelled to:1 × USA
1 × United Kingdom
Collaborated with:S.A.McIlraith
Talks about:probabilist (1) character (1) techniqu (1) satisfi (1) boolean (1) varsat (1) search (1) propag (1) method (1) integr (1)
Person: Eric I. Hsu
DBLP: Hsu:Eric_I=
Contributed to:
20092006Wrote 2 papers:
- SAT-2009-HsuM #named #novel #probability
- VARSAT: Integrating Novel Probabilistic Inference Techniques with DPLL Search (EIH, SAM), pp. 377–390.
- SAT-2006-HsuM #satisfiability
- Characterizing Propagation Methods for Boolean Satisfiability (EIH, SAM), pp. 325–338.