Publications

(2021). Scalable Quantitative Verification For Deep Neural Networks. In IEEE/ACM 43rd International Conference on Software Engineering (ICSE).

PDF Code Slides

(2021). The Power of Literal Equivalence in Model Counting. In Proceedings of AAAI Conference on Artificial Intelligence (AAAI).

PDF

(2021). Symmetric Component Caching for Model Counting on Structured Instances. In Proceedings of AAAI Conference on Artificial Intelligence (AAAI).

PDF

(2021). Predicting Forest Fire Using Remote Sensing Data And Machine Learning. In Proceedings of AAAI Conference on Artificial Intelligence (AAAI).

PDF

(2021). Justicia A Stochastic SAT Approach to Formally Verify Fairness. In Proceedings of AAAI Conference on Artificial Intelligence (AAAI).

PDF

(2021). Counting Maximal Satisfiable Subsets. In Proceedings of AAAI Conference on Artificial Intelligence (AAAI).

PDF

(2020). Baital: An Adaptive Weighted Sampling Approach for Improved t-wise Coverage. In Proceedings of the 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE).

PDF

(2020). Taming Discrete Integration via the Boon of Dimensionality. In Advances in Neural Information Processing Systems (NeurIPS).

PDF

(2020). On Testing of Samplers. In Advances in Neural Information Processing Systems (NeurIPS).

PDF Slides Video

(2020). Efficient Distance Approximation for Structured High-Dimensional Distributions via Learning. In Advances in Neural Information Processing Systems (NeurIPS).

PDF

(2020). Model Counting meets F0 Estimation. In ACM Symposium on Principles of Database Systems (PODS).

(2020). Phase Transition Behaviour in Knowledge Compilation. In Proceedings of International Conference on Constraint Programming (CP).

PDF Video

(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 Code Slides Video

(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 . In Proceedings of the 2019 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