MC 2020

Workshop on Model Counting (MCW 2020@SAT)


The International Workshop on Model Counting (MCW 2020) 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) 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 to present their solvers and the presentation of detailed results on the model counting competition.


The success of solver technologies for declarative languages, such as SAT, in the last two decades is mainly due to both the availability of numerous efficient solver implementations and to the growing number of problems that can efficiently be solved through the declarative approach. Designing efficient solvers requires both understanding of the fundamental algorithms underlying the solvers, as well as in-depth insights into how to implement the algorithms for obtaining efficient and robust solvers.
The aim of the workshop is to allow researchers to share both fundamental theoretical insights into practical solvers, as well as new implementation-level insights and ‘gory’ technical details about their systems that may at times be difficult to publish in the main conferences on the declarative solving paradigms.


We refer to the SAT2020 Website.


Consult the SAT 2020 Registration.


See submission instructions page


  • Adnan Darwiche, University of California, Los Angeles
  • Antti Hyvärinen, USI
  • Arnaud Durand, Université Paris
  • Arthur Choi, University of California, Los Angeles
  • Armin Biere, Johannes Kepler University Linz
  • Ashish Sabharwal, Allen Institute for Artificial Intelligence
  • Florent Capelli, Université de Lille
  • Holger Dell, IT University of Copenhagen
  • Jakob Nordström, University of Copenhagen and Lund University
  • Johannes K. Fichte, TU Dresden
  • Kuldeep Meel, University of Singapore 
  • Mutsunori Banbaraba, Nagoya University
  • Pierre Marquis, CRIL, U. Artois & CNRS - Institut Universitaire de France
  • Robert Ganian, TU Wien
  • Stefan Mengel, CRIL
  • Takehide Soh, Kobe University
  • Tobias Philipp. TU Dresden
  • Markus Hecher, TU Wien
  • Mate Soos
  • Uwe Egly, TU Wien
  • Ofer Strichman, Technion Ordinary


  • Florent Capelli, University of Lille, France
  • Johannes K. Fichte, TU Dresden, Germany
  • Kuldeep Meel, NUS, Singapore
  • Markus Hecher, TU Wien, Austria
  • Stefan Mengel, CNRS, France


For any questions related to the workshop, the preferred solution to contact the organizers is to send an email to mcw at

Johannes Fichte
TU Dresden
Fakultät Informatik
01062 Dresden, Germany

Markus Hecher
Technische Universität Wien
Institut für Logic and Computation 192-02
Forschungsbereich für Datenbanken und Artificial Intelligence
Favoritenstraße 9
A-1040 Wien, Austria