Publications

(2020). On the Sparsity of XORs in Approximate Model Counting. In Proceedings of the International Conference on Theory and Applications of Satisfiability Testing (SAT).

PDF Dataset Slides Video

(2020). Designing New Phase Selection Heuristics. In Proceedings of the International Conference on Theory and Applications of Satisfiability Testing (SAT).

Preprint PDF Code Dataset Slides Video

(2020). Sparse Hashing for Scalable Approximate Model Counting: Theory and Practice. In Proceedings of Logic in Computer science (LICS).

PDF

(2020). Tinted, Detached, and Lazy CNF-XOR solving and its Applications to Counting and Sampling. In Proceedings of 32nd International Conference on Computer-Aided Verification (CAV).

PDF

(2020). Manthan: A Data-Driven Approach for Boolean Function Synthesis. In Proceedings of 32nd International Conference on Computer-Aided Verification (CAV).

PDF

(2020). Approximate Counting of Minimal Unsatisfiable Subsets. In Proceedings of 32nd International Conference on Computer-Aided Verification (CAV).

PDF

(2020). Induction Models on N. In Proceedings of International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR).

PDF

(2020). A Study of Symmetry Breaking Predicates and Model Counting. In Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (TACAS).

PDF

(2020). Classification Rules in Relaxed Logical Form. In Proceedings of ECAI.

PDF Code

(2020). A MaxSAT-based Framework for Group Testing. In Proceedings of AAAI Conference on Artificial Intelligence (AAAI).

PDF Code

(2019). Embedding Symbolic Knowledge into Deep Networks . In Advances in Neural Information Processing Systems(NeurIPS).

PDF Code

(2019). Quantitative Verification of Neural Networks And Its Security Applications . ACM Conference on Computer and Communications Security (CCS)..

PDF Code Slides

(2019). Dual Hashing-based Algorithms for Discrete Integration . In Proceedings of International Conference on Constraint Programming (CP).

PDF

(2019). Interpretable Classification Rules in Relaxed Logical Form . In IJCAI workshop on XAI (Explainable Artificial Intelligence) and DSO (Data Science meets Optimization).

PDF Code Slides

(2019). Network Reliability Estimation in Theory and Practice . Journal of Reliability Engineering and System Safety(RESS).

PDF

(2019). GANAK: A Scalable Probabilistic Exact Model Counter. In Proceedings International Joint Conference on Artificial Intelligence (IJCAI).

PDF Code Slides

(2019). Phase Transition Behavior of Cardinality and XOR Constraints . In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI).

PDF Slides

(2019). Not All FPRASs are Equal: Demystifying FPRASs for DNF-Counting (Extended Abstract) . In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI).

PDF

(2019). CrystalBall: Gazing in the Black Box of SAT Solving . In Proceedings of the International Conference on Theory and Applications of Satisfiability Testing (SAT).

PDF Code Slides

(2019). Assessing Heuristic Machine Learning Explanations with Model Counting . In Proceedings of the International Conference on Theory and Applications of Satisfiability Testing (SAT).

PDF

(2019). WAPS: Weighted and Projected Sampling . In Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (TACAS).

PDF Code Slides

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

PDF Code

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

PDF Slides

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

PDF Code Slides

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

PDF Code

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

PDF Slides

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

PDF Code

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

PDF Code Slides

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

PDF Slides

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

PDF Slides

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

PDF Slides

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

PDF

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

PDF Code Slides

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

PDF Slides

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

PDF Code Slides

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

PDF Code Slides

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

PDF

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

PDF Code Slides

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

PDF Code

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

PDF Code Slides

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

PDF Code Slides

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

PDF Code Slides

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

PDF

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

PDF Code Slides

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

PDF Code Slides

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

PDF Code Slides

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

PDF Code Slides