Corpus ID: 227247590

The Model Counting Competition 2020

@article{Fichte2020TheMC,
  title={The Model Counting Competition 2020},
  author={J. Fichte and Markus Hecher and Florim Hamiti},
  journal={ArXiv},
  year={2020},
  volume={abs/2012.01323}
}

J. Fichte, Markus Hecher, Florim Hamiti

Published 2020

Computer Science

ArXiv

Many computational problems in modern society account to probabilistic reasoning, statistics, and combinatorics. A variety of these real-world questions can be solved by representing the question in (Boolean) formulas and associating the number of models of the formula directly with the answer to the question. Since there has been an increasing interest in practical problem solving for model counting over the last years, the Model Counting (MC) Competition was conceived in fall 2019. The… CONTINUE READING

View PDF on arXiv

Save to Library

Create Alert

Cite

Launch Research Feed