Kuldeep S. Meel
Title
Cited by
Cited by
Year
A scalable approximate model counter
S Chakraborty, KS Meel, MY Vardi
International Conference on Principles and Practice of Constraint …, 2013
1102013
Distribution-aware sampling and weighted model counting for SAT
S Chakraborty, DJ Fremont, KS Meel, SA Seshia, MY Vardi
Proc. of AAAI, 2014
1062014
Algorithmic improvements in approximate counting for probabilistic inference: From linear to logarithmic SAT calls
S Chakraborty, KS Meel, MY Vardi
Proc. of IJCAI, 2016
732016
A scalable and nearly uniform generator of SAT witnesses
S Chakraborty, KS Meel, MY Vardi
International Conference on Computer Aided Verification, 608-623, 2013
602013
On parallel scalable uniform SAT witness generation
S Chakraborty, DJ Fremont, KS Meel, SA Seshia, MY Vardi
International Conference on Tools and Algorithms for the Construction and …, 2015
562015
Constrained sampling and counting: Universal hashing meets sat solving
KS Meel, MY Vardi, S Chakraborty, DJ Fremont, SA Seshia, D Fried, A Ivrii, ...
AAAI Workshop: Beyond NP 2016, 2016
492016
On computing minimal independent support and its applications to sampling and counting
A Ivrii, S Malik, KS Meel, MY Vardi
Constraints 21 (1), 41-58, 2016
452016
Balancing Scalability and Uniformity in SAT Witness Generator
S Chakraborty, KS Meel, MY Vardi
The 51st Annual Design Automation Conference 2014, {DAC} '14, San Francisco …, 2014
452014
Approximate Probabilistic Inference via Word-Level Counting
S Chakraborty, KS Meel, R Mistry, MY Vardi
Proc. of AAAI, 2016
372016
BIRD: Engineering an Efficient CNF-XOR SAT Solver and its Applications to Approximate Model Counting
M Soos, KS Meel
Proc. of AAAI, 2019
352019
From Weighted to Unweighted Model Counting.
S Chakraborty, D Fried, KS Meel, MY Vardi
IJCAI, 689-695, 2015
332015
Counting-Based Reliability Estimation for Power-Transmission Grids
L Duenas-Osorio, KS Meel, R Paredes, MY Vardi
Proc. of AAAI, 2017
272017
Scalable Approximation of Quantitative Information Flow in Programs
F Biondi, M Enescu, A Heuser, A Legay, KS Meel, J Quilbeuf
In Proc. of VMCAI, 2018
222018
Automatic data layout generation and kernel mapping for cpu+ gpu architectures
D Majeti, KS Meel, R Barik, V Sarkar
Proceedings of the 25th International Conference on Compiler Construction …, 2016
172016
Quantitative verification of neural networks and its security applications
T Baluta, S Shen, S Shinde, KS Meel, P Saxena
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019
152019
MLIC: A MaxSAT-Based Framework for Learning Interpretable Classification Rules
D Malioutov, KS Meel
International Conference on Principles and Practice of Constraint …, 2018
152018
Constrained Counting and Sampling: Bridging the Gap between Theory and Practice
KS Meel
PhD Thesis, 2017
142017
IMLI: An Incremental Framework for MaxSAT-Based Learning of Interpretable Classification Rules
B Ghosh, KS Meel
Proc. of AIES, 2019
132019
Combining the k-CNF and XOR Phase-Transitions
JM Dudek, KS Meel, MY Vardi
Proceedings of the Twenty-Fifth International Joint Conference on …, 2016
132016
Sampling techniques for boolean satisfiability
KS Meel
Masters Thesis, 2014
112014
The system can't perform the operation now. Try again later.
Articles 1–20