GET IN TOUCH
MC 2024
Program of the Workshop on Model Counting (MCW-2020)
Registration is free. But you need to register with the SAT conference for login credentials.
See: https://sat2020.idea-researchlab.org/registration/
Day: Thursday, July 9th, 2020 (Times are given in GMT+2, see your timezone)
| Time | Title | Slides | Author(s) |
|---|---|---|---|
| 16:00 | Setup / Welcome | Johannes K. Fichte and Markus Hecher | |
| 16:10 | GANAK: A Scalable Probabilistic Exact Model Counter | Slides | Shubham Sharma, Subhajit Roy, Mate Soos, and Kuldeep S. Meel |
| 16:30 | Counting and Sampling Problems in Computational Biology | Slides | Mohammed El-Kebir, Jackie Oh, Yuanyuan Qi, and Palash Sashittal |
| 16:50-17:10 | Virtual Coffee Break / Breakout | ||
| 17:10 | Four Flavors of Entailment for Projected Model Counting | Slides | Sibylle Moehle , Roberto Sebastiani, and Armin Biere |
| 17:30 | Parallel Weighted Model Counting with Tensor Networks | Slides | Jeffrey M. Dudek and Moshe Y. Vardi |
| 17:50 | On the Approximability of Weighted Model Integration on DNF Structures | Slides | Ralph Abboud , İsmail İlkan Ceylan and Radoslav Dimitrov |
| 18:10-18:30 | Virtual Coffee Break | ||
| 18:30 | A recent study of symmetry breaking predicates and model counting | Slides | Wenxi Wang, Alyas Almaawi, Muhammad Usman, Kaiyuan Wang, Kuldeep S. Meel, and Sarfraz Khurshid |
| 18:50 | Better Caching for Better Model Counting | Slides | Jeroen G. Rook, Anna L. D. Latour, Holger H. Hoos, and Siegfried Nijssen |
| 19:10 | Stochastic Constraint Optimisation with Applications in Network Analysis | Slides | Anna L. D. Latour, Behrouz Babaki, Daniel Fokkinga, Marie Anastacio, Holger Hoos, and Siegfried Nijssen |
| 19:30 | Concluding discussion | Johannes K. Fichte and Markus Hecher |