Conference: MC-2022 (Workshop on Counting and Sampling)

Conference: MC-2022 (Workshop on Counting and Sampling)

This page shows all presentations from this conference published in EasyChair Smart Slide.

A Faster Algorithm for Propositional Model Counting Parameterized by Incidence Treewidth

A Faster Algorithm for Propositional Model Counting Parameterized by Incidence Treewidth

Friedrich Slivovsky and Stefan Szeider

Designing Samplers Is Easy: the Boon of Testers

Designing Samplers Is Easy: the Boon of Testers

Priyanka Golia, Mate Soos, Sourav Chakraborty and Kuldeep S. Meel

Stochastic Constraint Optimisation with Applications in Network Analysis

Stochastic Constraint Optimisation with Applications in Network Analysis

Anna Latour, Behrouz Babaki, Daniël Fokkinga, Marie Anastacio, Holger Hoos and Siegfried Nijssen

Recursive Solutions to First-Order Model Counting

Recursive Solutions to First-Order Model Counting

Paulius Dilkas and Vaishak Belle

Generating Random Weighted Model Counting Instances: an Empirical Analysis with Varying Primal Treewidth

Generating Random Weighted Model Counting Instances: an Empirical Analysis with Varying Primal Treewidth

Scalable Uniform Sampling via Efficient Knowledge Compilation

Scalable Uniform Sampling via Efficient Knowledge Compilation

Yong Lai, Kuldeep S. Meel and Roland Yap

Counting Complexity for Projected Reasoning in Abstract Argumentation

Counting Complexity for Projected Reasoning in Abstract Argumentation

Johannes Fichte, Markus Hecher and Arne Meier

Rushing and Strolling Among Answer Sets - Navigation Made Easy

Rushing and Strolling Among Answer Sets - Navigation Made Easy

Johannes K. Fichte, Sarah Alice Gaggl and Dominik Rusovac

Quantifying Software Reliability via Model-Counting

Quantifying Software Reliability via Model-Counting

Samuel Teuber and Alexander Weigl

Heuristic Computation of Exact Treewidth - Some Improvements and More Experimental Evaluations

Heuristic Computation of Exact Treewidth - Some Improvements and More Experimental Evaluations

Presentations in this collection: 10