University of Waterloo, Canada
List of publications from the DBLP Bibliography Server - FAQother persons with the same name:
- CSB - MetaPress - Google - Bing - Yahoo
 | 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 |  | Wei Li: A Hypergraph Separator Based Variable Ordering Heuristic for Solving Real World SAT. CP 2004: 800 |
| 1 | | 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] |