Kuldeep S. Meel

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020

On the Sparsity of XORs in Approximate Model Counting.

[BibT_eX]

[DOI]

Durgesh Agrawal

Bhavishya

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020

On Testing of Samplers.

[BibT_eX]

[DOI]

Yash Pote

Sourav Chakraborty

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Taming Discrete Integration via the Boon of Dimensionality.

[BibT_eX]

[DOI]

Jeffrey M. Dudek

Dror Fried

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Efficient Distance Approximation for Structured High-Dimensional Distributions via Learning.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Induction Models on N.

[BibT_eX]

[DOI]

A. Dileep

Ammar Fathin Sabili

Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020

Sparse Hashing for Scalable Approximate Model Counting: Theory and Practice.

[BibT_eX]

[DOI]

S. Akshay

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

Classification Rules in Relaxed Logical Form.

[BibT_eX]

[DOI]

Bishwamittra Ghosh

Dmitry Malioutov

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

Phase Transition Behavior in Knowledge Compilation.

[BibT_eX]

[DOI]

Rahul Gupta

Subhajit Roy

Proceedings of the Principles and Practice of Constraint Programming, 2020

Tinted, Detached, and Lazy CNF-XOR Solving and Its Applications to Counting and Sampling.

[BibT_eX]

[DOI]

Mate Soos

Stephan Gocht

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

Manthan: A Data-Driven Approach for Boolean Function Synthesis.

[BibT_eX]

[DOI]

Priyanka Golia

Subhajit Roy

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

Approximate Counting of Minimal Unsatisfiable Subsets.

[BibT_eX]

[DOI]

Jaroslav Bendík

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

A MaxSAT-Based Framework for Group Testing.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Principled network reliability approximation: A counting-based approach.

[BibT_eX]

[DOI]

Roger Paredes

Leonardo Dueñas-Osorio

Reliab. Eng. Syst. Saf., 2019

Semantically-Regularized Logic Graph Embeddings.

[BibT_eX]

[DOI]

CoRR, 2019

Not all FPRASs are equal: demystifying FPRASs for DNF-counting.

[BibT_eX]

[DOI]

Aditya A. Shrotri

Constraints An Int. J., 2019

WAPS: Weighted and Projected Sampling.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

CrystalBall: Gazing in the Black Box of SAT Solving.

[BibT_eX]

[DOI]

Mate Soos

Raghav Kulkarni

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2019, 2019

Assessing Heuristic Machine Learning Explanations with Model Counting.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2019, 2019

Embedding Symbolic Knowledge into Deep Networks.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

GANAK: A Scalable Probabilistic Exact Model Counter.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Phase Transition Behavior of Cardinality and XOR Constraints.

[BibT_eX]

[DOI]

Yash Pote

Saurabh Joshi

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Not All FPRASs are Equal: Demystifying FPRASs for DNF-Counting (Extended Abstract).

[BibT_eX]

[DOI]

Aditya A. Shrotri

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Bosphorus: Bridging ANF and CNF Solvers.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

Dual Hashing-Based Algorithms for Discrete Integration.

[BibT_eX]

[DOI]

Alexis de Colnet

Proceedings of the Principles and Practice of Constraint Programming, 2019

Quantitative Verification of Neural Networks and Its Security Applications.

[BibT_eX]

[DOI]

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

IMLI: An Incremental Framework for MaxSAT-Based Learning of Interpretable Classification Rules.

[BibT_eX]

[DOI]

Bishwamittra Ghosh

Proceedings of the 2019 AAAI/ACM Conference on AI, Ethics, and Society, 2019

BIRD: Engineering an Efficient CNF-XOR SAT Solver and Its Applications to Approximate Model Counting.

[BibT_eX]

[DOI]

Mate Soos

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

On the Hardness of Probabilistic Inference Relaxations.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

On Testing of Uniform Samplers.

[BibT_eX]

[DOI]

Sourav Chakraborty

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Constrained Counting and Sampling: Bridging the Gap between Theory and Practice.

[BibT_eX]

[DOI]

CoRR, 2018

Network Reliability Estimation in Theory and Practice.

[BibT_eX]

[DOI]

Roger Paredes

Leonardo Dueñas-Osorio

CoRR, 2018

Scalable Approximation of Quantitative Information Flow in Programs.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

Knowledge Compilation meets Uniform Sampling.

[BibT_eX]

[DOI]

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

MLIC: A MaxSAT-Based Framework for Learning Interpretable Classification Rules.

[BibT_eX]

[DOI]

Dmitry Malioutov

Proceedings of the Principles and Practice of Constraint Programming, 2018

2017

The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas.

[BibT_eX]

[DOI]

Jeffrey M. Dudek

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

On Hashing-Based Approaches to Approximate DNF-Counting.

[BibT_eX]

[DOI]

Aditya A. Shrotri

Proceedings of the 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2017

Counting-Based Reliability Estimation for Power-Transmission Grids.

[BibT_eX]

[DOI]

Leonardo Dueñas-Osorio

Roger Paredes

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

On computing minimal independent support and its applications to sampling and counting.

[BibT_eX]

[DOI]

Constraints An Int. J., 2016

Combining the k-CNF and XOR Phase-Transitions.

[BibT_eX]

[DOI]

Jeffrey M. Dudek

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Algorithmic Improvements in Approximate Counting for Probabilistic Inference: From Linear to Logarithmic SAT Calls.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Design and Verification of Distributed Phasers.

[BibT_eX]

[DOI]

John M. Mellor-Crummey

Proceedings of the Euro-Par 2016: Parallel Processing, 2016

Automatic data layout generation and kernel mapping for CPU+GPU architectures.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Compiler Construction, 2016

Constrained Sampling and Counting: Universal Hashing Meets SAT Solving.

[BibT_eX]

[DOI]

Proceedings of the Beyond NP, 2016

Approximate Probabilistic Inference via Word-Level Counting.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

Distributed Phasers.

[BibT_eX]

[DOI]

Sri Raj Paul

Karthik Murthy

John M. Mellor-Crummey

CoRR, 2015

On Parallel Scalable Uniform SAT Witness Generation.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

From Weighted to Unweighted Model Counting.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

2014

Sampling Techniques for Boolean Satisfiability.

[BibT_eX]

[DOI]

CoRR, 2014

Balancing Scalability and Uniformity in SAT Witness Generator.

[BibT_eX]

[DOI]

Proceedings of the 51st Annual Design Automation Conference 2014, 2014

Distribution-Aware Sampling and Weighted Model Counting for SAT.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

ADHA: automatic data layout framework for heterogeneous architectures.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Parallel Architectures and Compilation, 2014

2013

A Scalable Approximate Model Counter.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2013

A Scalable and Nearly Uniform Generator of SAT Witnesses.

[BibT_eX]

[DOI]