Publications

Filter by type:

. On the Hardness of Probabilistic Inference Relaxations. In Proceedings of AAAI Conference on Artificial Intelligence (AAAI-19), 2019.

PDF

. On testing of Uniform Samplers . In Proceedings of AAAI Conference on Artificial Intelligence (AAAI-19)., 2019.

PDF

. BOSPHORUS: Bridging ANF and CNF Solvers . In Proceedings of Design, Automation, and Test in Europe(DATE),, 2019.

PDF

. BIRD: Engineering an Efficient CNF-XOR SAT Solver and its Applications to Approximate Model Counting. In Proceedings of AAAI Conference on Artificial Intelligence (AAAI-19), 2019.

PDF Code

. IMLI: An Incremental Framework for MaxSAT-Based Learning of Interpretable Classification Rules . In Proceedings of AAAI/ACM Conference on AI, Ethics, and Society(AIES)., 2019.

PDF

. Not All FPRASs are Equal: Demystifying FPRASs for DNF-Counting . In Proceedings of International Conference on Constraint Programming (CP)., 2018.

PDF Slides

. Knowledge Compilation meets Uniform Sampling. In Proceedings of International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)., 2018.

PDF Code

. MLIC: A MaxSAT-Based framework for learning interpretable classification rules. In Proceedings of International Conference on Constraint Programming (CP), 2018.

PDF Code Slides

. Network Reliability Estimation in Theory and Practice . Submitted to Reliability Engineering and System Safety, 2018.

PDF

. Scalable Approximation of Quantitative Information Flow in Programs. In Proceedings of International Conference on Verification, Model Checking, and Abstract Interpretation, 2018.

PDF Slides

. On Hashing-Based Approaches to Approximate DNF-Counting . In Proceedings of IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2017.

PDF Slides

. Constrained Counting and Sampling: Bridging the Gap between Theory and Practice . PhD Thesis, Rice University, 2017.

PDF

. The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas . In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), 2017.

PDF Slides

. Counting-Based Reliability Estimation for Power-Transmission Grids. In Proceedings of AAAI Conference on Artificial Intelligence (AAAI), 2017.

PDF

. On Computing Minimal Independent Support and Its Applications to Sampling and Counting . Constraints 21(1), 2016.

PDF

. Combining the k-CNF and XOR Phase-Transitions . In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), 2016.

PDF Slides

. Algorithmic Improvements in Approximate Counting for Probabilistic Inference: From Linear to Logarithmic SAT Calls . In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), 2016.

PDF Code Slides

. Approximate Probabilistic Inference via Word-Level Counting . In Proceedings of AAAI Conference on Artificial Intelligence (AAAI), 2016.

PDF Code Slides

. Automatic Data Layout Generation and Kernel Mapping for CPU+GPU Architectures . In Proceedings of International Conference on Compiler Construction (CC), 2016.

PDF

. Constrained Sampling and Counting: Universal Hashing meets SAT Solving. In Proceedings of Workshop on Beyond NP(BNP), 2016.

PDF Code Slides

. Design and Verification of Distributed Phasers. In Proceedings of International European Conference on Parallel and Distributed Computing (Euro-Par), 2016.

PDF Code

. On Computing Minimal Independent Support and Its Applications to Sampling and Counting . In Proceedings of International Conference on Constraint Programming (CP), 2015.

PDF Code Slides

. From Weighted to Unweighted Model Counting . In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), 2015.

PDF Code Slides

. On Parallel Scalable Uniform SAT Witness Generator. In Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2015.

PDF Code Slides

. ADHA: Automatic Data layout framework for Heterogeneous Architectures. In Proceedings of Parallel Architecture and Compilation Techniques (PACT), 2014.

PDF

. Distribution-Aware Sampling and Weighted Model Counting for SAT. In Proceedings of AAAI Conference on Artificial Intelligence (AAAI), 2014.

PDF Code Slides

. Balancing Scalability and Uniformity in SAT-Witness Generator . In Proceedings of Design Automation Conference (DAC), 2014.

PDF Code Slides

. A Scalable Approximate Model Counter . In Proceedings of International Conference on Constraint Programming (CP), 2013.

PDF Code Slides

. A Scalable and Nearly Uniform Generator of SAT Witnesses. In Proceedings of International Conference on Computer-Aided Verification (CAV), 2013.

PDF Code Slides