Universiteit van Amsterdam

Please note that this newsitem has been archived, and may contain outdated information or links.

1st International Competition on Model Counting (MC 2020)

Deadline: Thursday 5 March 2020

The 1st International Competition on Model Counting (MC 2020) 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. Model counting is very vibrant field that provided both recent advances in theory as well as in practical solving including various applications. MC 2020 aims to identify new challenging benchmarks and to promote new solvers for the problem as well as to compare them with state-of-the-art solvers.

The Model Counting Competition MC 2020 invites submission of collections of (weighted) model counting instances in the standard DIMACS-based submission formats as given at the competition tracks.

For more information, see http://mccompetition.org/ or contact .

Please note that this newsitem has been archived, and may contain outdated information or links.