MC 2020

Model Counting 2021 (MC-2021)


The 2nd Competition on Model Counting (MC 2021) is a competition to deepen the relationship between latest theoretical and practical development on the various model counting problems and their practical applications. It targets the problem of counting the number of models of a Boolean formula.

Further details on the competition can be found at: Competition 2021

Workshop on Counting and Sampling

The International Workshop on Model Counting and Sampling aims to provide a venue for researchers working on model counting such as model counting (mc), weighted model counting/sum of products (wmc), projected model counting (pmc) as well as sampling models within the realm but not restricting to Boolean satisfiability (SAT),
satisfiability modulo theories (SMT), Answer set programming (ASP), and constraint programming (CP). It encourages to meet, communicate, and discuss the latest theoretical and practical results, in particular results on novel solvers, related solver technologies, new theoretical advances, practical academic and industrial applications as well as the linking theory and practice. The workshop is also the place for developers of model counters and samplers to present their programs and the presentation of detailed results on the model counting competition.

Further details on the competition can be found at: Workshop on Counting and Sampling 2021


The program is available at Workshop 2021 Program.

Competition Results

The competition results will be presented on Friday, July 9th at the SAT conference during the Competitive events session (17:40-18:30).
See: SAT program.