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
    1 Citations

    Figures and Tables from this paper

    The VLSAT-1 Benchmark Suite
    • 1
    • PDF

    References

    SHOWING 1-10 OF 82 REFERENCES
    Distributed Parallel #SAT Solving
    • 6
    On the Hardness of Approximate Reasoning
    • D. Roth
    • Mathematics, Computer Science
    • IJCAI
    • 1993
    • 670
    • PDF