$$\#\exists $$ SAT: Projected Model Counting

Lecture Notes in Computer Science - Theory and Applications of Satisfiability Testing -- SAT 2015 ◽

10.1007/978-3-319-24318-4_10 ◽

2015 ◽

pp. 121-137 ◽

Cited By ~ 4

Author(s):

Rehan Abdul Aziz ◽

Geoffrey Chu ◽

Christian Muise ◽

Peter Stuckey

Keyword(s):

Model Counting

Download Full-text

Sparse Hashing for Scalable Approximate Model Counting

Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science ◽

10.1145/3373718.3394809 ◽

2020 ◽

Cited By ~ 1

Author(s):

Kuldeep S. Meel ◽

S. Akshay

Keyword(s):

Approximate Model ◽

Model Counting

Download Full-text

A Dichotomy for the Generalized Model Counting Problem for Unions of Conjunctive Queries

Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems ◽

10.1145/3452021.3458313 ◽

2021 ◽

Author(s):

Batya Kenig ◽

Dan Suciu

Keyword(s):

Counting Problem ◽

Generalized Model ◽

Conjunctive Queries ◽

Model Counting

Download Full-text

Symmetric Weighted First-Order Model Counting

Proceedings of the 34th ACM Symposium on Principles of Database Systems - PODS '15 ◽

10.1145/2745754.2745760 ◽

2015 ◽

Cited By ~ 6

Author(s):

Paul Beame ◽

Guy Van den Broeck ◽

Eric Gribkoff ◽

Dan Suciu

Keyword(s):

Order Model ◽

First Order ◽

Model Counting

Download Full-text

MCBAT: Model Counting for Constraints over Bounded Integer Arrays

Lecture Notes in Computer Science - Software Verification ◽

10.1007/978-3-030-63618-0_8 ◽

2020 ◽

pp. 124-143

Author(s):

Abtin Molavi ◽

Tommy Schneider ◽

Mara Downing ◽

Lucas Bang

Keyword(s):

Model Counting

Download Full-text

Symbolic Execution + Model Counting + Entropy Maximization = Automatic Search Synthesis

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.326.4 ◽

2020 ◽

Vol 326 ◽

pp. 50-65

Author(s):

Mara Downing ◽

Abtin Molavi ◽

Lucas Bang

Keyword(s):

Symbolic Execution ◽

Entropy Maximization ◽

Model Counting ◽

Execution Model ◽

Automatic Search

Download Full-text

Fast and Flexible Probabilistic Model Counting

Theory and Applications of Satisfiability Testing – SAT 2018 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-94144-8_10 ◽

2018 ◽

pp. 148-164 ◽

Cited By ~ 1

Author(s):

Dimitris Achlioptas ◽

Zayd Hammoudeh ◽

Panos Theodoropoulos

Keyword(s):

Probabilistic Model ◽

Model Counting

Download Full-text

Using Model Counting to Find Optimal Distinguishing Tests

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01929-6_10 ◽

2009 ◽

pp. 117-131 ◽

Cited By ~ 2

Author(s):

Stefan Heinz ◽

Martin Sachenbacher

Keyword(s):

Model Counting

Download Full-text

Quantifying Software Reliability via Model-Counting

10.1007/978-3-030-85172-9_4 ◽

2021 ◽

pp. 59-79

Author(s):

Samuel Teuber ◽

Alexander Weigl

Keyword(s):

Software Reliability ◽

Model Counting

Download Full-text

Dualizing Projected Model Counting

2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI) ◽

10.1109/ictai.2018.00111 ◽

2018 ◽

Cited By ~ 1

Author(s):

Sibylle Mohle ◽

Armin Biere

Keyword(s):

Model Counting

Download Full-text

Assessing Heuristic Machine Learning Explanations with Model Counting

Lecture Notes in Computer Science - Theory and Applications of Satisfiability Testing – SAT 2019 ◽

10.1007/978-3-030-24258-9_19 ◽

2019 ◽

pp. 267-278 ◽

Cited By ~ 1

Author(s):

Nina Narodytska ◽

Aditya Shrotri ◽

Kuldeep S. Meel ◽

Alexey Ignatiev ◽

Joao Marques-Silva

Keyword(s):

Machine Learning ◽

Model Counting

Download Full-text