Concepedia

Concept

model counting

Parents

168

Publications

12.4K

Citations

346

Authors

169

Institutions

About

Model counting is a fundamental problem in automated reasoning and theoretical computer science focused on determining the number of satisfying assignments (models) for a given logical formula. This computationally challenging (#P-complete) problem is central to various applications and motivates research into efficient exact and approximate algorithms, including methods offering probabilistic guarantees on the count.

Top Authors

Rankings shown are based on concept H-Index.

KS

National University of Singapore

JL

Université d'Artois

PM

Université d'Artois

MY

Rice University

Top Institutions

Rankings shown are based on concept H-Index.

University of Washington

Seattle, United States

KU Leuven

Leuven, Belgium