GET IN TOUCH
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.

See: https://sat2020.idea-researchlab.org/registration/

Day: Thursday, July 9th, 2020 (Times are given in GMT+2, see your timezone)

Time Title Author(s)
16:00 Setup / Welcome Johannes K. Fichte and Markus Hecher
16:10 GANAK: A Scalable Probabilistic Exact Model Counter Shubham Sharma, Subhajit Roy, Mate Soos, and Kuldeep S. Meel
16:30 Counting and Sampling Problems in Computational Biology 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 Sibylle Moehle , Roberto Sebastiani, and Armin Biere
17:30 Parallel Weighted Model Counting with Tensor Networks Jeffrey M. Dudek and Moshe Y. Vardi
17:50 On the Approximability of Weighted Model Integration on DNF Structures 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 Wenxi Wang, Alyas Almaawi, Muhammad Usman, Kaiyuan Wang, Kuldeep S. Meel, and Sarfraz Khurshid
18:50 Better Caching for Better Model Counting Jeroen G. Rook, Anna L. D. Latour, Holger H. Hoos, and Siegfried Nijssen
19:10 Stochastic Constraint Optimisation with Applications in Network Analysis 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