| |
University of Waterloo, Canada
List of publications from the DBLP Bibliography Server - FAQother persons with the same name:
| 2008 | ||
|---|---|---|
| 4 | Wei Li, Pascal Poupart, Peter van Beek: Exploiting Causal Independence Using Weighted Model Counting. AAAI 2008: 337-343 | |
| 2006 | ||
| 3 | Wei Li, Peter van Beek, Pascal Poupart: Performing Incremental Bayesian Inference by Dynamic Model Counting. AAAI 2006 | |
| 2004 | ||
| 2 | EE | Wei Li: A Hypergraph Separator Based Variable Ordering Heuristic for Solving Real World SAT. CP 2004: 800 |
| 1 | EE | Wei Li, Peter van Beek: Guiding Real-World SAT Solving with Dynamic Hypergraph Separator Decomposition. ICTAI 2004: 542-548 |
| 1 | Peter van Beek | [1] [3] [4] |
| 2 | Pascal Poupart | [3] [4] |