MC 2020

Program of the Workshop on Model Counting (MCW-2020)

Registration is free. But you need to register with the SAT conference for login credentials.


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

Download Recordings