Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
10.5555/647288.721114guideproceedingsArticle/Chapter ViewAbstractPublication PagesConference Proceedingsacm-pubtype
Article

Counting Models Using Connected Components

Published: 30 July 2000 Publication History

Abstract

No abstract available.

Cited By

View all

Recommendations

Comments

Information & Contributors

Information

Published In

cover image Guide Proceedings
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
July 2000
1108 pages
ISBN:0262511126

Publisher

AAAI Press

Publication History

Published: 30 July 2000

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 09 Nov 2024

Other Metrics

Citations

Cited By

View all
  • (2019)GANAKProceedings of the 28th International Joint Conference on Artificial Intelligence10.5555/3367032.3367198(1169-1176)Online publication date: 10-Aug-2019
  • (2019)An exhaustive DPLL algorithm for model countingJournal of Artificial Intelligence Research10.1613/jair.1.1120162:1(1-32)Online publication date: 17-Apr-2019
  • (2017)Exact Model Counting of Query ExpressionsACM Transactions on Database Systems10.1145/298463242:1(1-46)Online publication date: 3-Feb-2017
  • (2017)Two approximate algorithms for model countingTheoretical Computer Science10.1016/j.tcs.2016.04.047657:PA(28-37)Online publication date: 2-Jan-2017
  • (2016)Probabilistic inference modulo theoriesProceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence10.5555/3061053.3061122(3591-3599)Online publication date: 9-Jul-2016
  • (2016)Interpretable encoding of densities using possibilistic logicProceedings of the Twenty-second European Conference on Artificial Intelligence10.3233/978-1-61499-672-9-1239(1239-1247)Online publication date: 29-Aug-2016
  • (2016)Implementing Efficient All Solutions SAT SolversACM Journal of Experimental Algorithmics10.1145/297558521(1-44)Online publication date: 4-Nov-2016
  • (2016)Probabilistic theorem provingCommunications of the ACM10.1145/293672659:7(107-115)Online publication date: 24-Jun-2016
  • (2015)Locally Conditioned Belief PropagationProceedings of the Thirty-First Conference on Uncertainty in Artificial Intelligence10.5555/3020847.3020879(296-305)Online publication date: 12-Jul-2015
  • (2015)Efficient model based diagnosis with maximum satisfiabilityProceedings of the 24th International Conference on Artificial Intelligence10.5555/2832415.2832522(1966-1972)Online publication date: 25-Jul-2015
  • Show More Cited By

View Options

View options

Get Access

Login options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media