Efficient reasoning in graphical models

Resolution versus Search: Two Strategies for SAT

Journal of Automated Reasoning

Exploiting shared correlations in probabilistic databases

Proceedings of the VLDB Endowment

PrDB: managing and exploiting rich correlations in probabilistic databases

The VLDB Journal — The International Journal on Very Large Data Bases

Intelligent probing: a cost-effective approach to fault diagnosis in computer networks

IBM Systems Journal

Bridging the gap between intensional and extensional query evaluation in probabilistic databases

Proceedings of the 13th International Conference on Extending Database Technology