Counting models using extension rules

Authors:
Mingbao Yin;Hai Lin;Jigui Sun
Affiliations:
College of Computer Science and Technology, Jilin University, Changchun, China;College of Computer Science and Technology, Jilin University, Changchun, China;College of Computer Science and Technology, Jilin University, Changchun, China
Venue:
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Year:
2007

Efficient conflict driven learning in a boolean satisfiability solver

Proceedings of the 2001 IEEE/ACM international conference on Computer-aided design
Unifying SAT-based and Graph-based Planning

IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Counting Models Using Connected Components

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Algorithms and Complexity Results for #SAT and Bayesian Inference

FOCS '03 Proceedings of the 44th Annual IEEE Symposium on Foundations of Computer Science
Theorem Proving Based on the Extension Rule

Journal of Automated Reasoning
Knowledge Compilation Using the Extension Rule

Journal of Automated Reasoning
Performing Bayesian inference by weighted model counting

AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
The good old Davis-Putnam procedure helps counting models

Journal of Artificial Intelligence Research
Compiling Bayesian networks with local structure

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence

Hi-index	0.00