Kuldeep S. Meel
Kuldeep S. Meel
Dirección de correo verificada de comp.nus.edu.sg - Página principal
Título
Citado por
Citado por
Año
A scalable approximate model counter
S Chakraborty, KS Meel, MY Vardi
International Conference on Principles and Practice of Constraint …, 2013
1192013
Distribution-aware sampling and weighted model counting for SAT
S Chakraborty, DJ Fremont, KS Meel, SA Seshia, MY Vardi
Proc. of AAAI, 2014
1162014
Algorithmic improvements in approximate counting for probabilistic inference: From linear to logarithmic SAT calls
S Chakraborty, KS Meel, MY Vardi
Proc. of IJCAI, 2016
792016
A scalable and nearly uniform generator of SAT witnesses
S Chakraborty, KS Meel, MY Vardi
International Conference on Computer Aided Verification, 608-623, 2013
732013
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
682015
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
502016
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
502014
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
472016
BIRD: Engineering an Efficient CNF-XOR SAT Solver and its Applications to Approximate Model Counting
M Soos, KS Meel
Proc. of AAAI, 2019
412019
Approximate Probabilistic Inference via Word-Level Counting
S Chakraborty, KS Meel, R Mistry, MY Vardi
Proc. of AAAI, 2016
382016
From Weighted to Unweighted Model Counting.
S Chakraborty, D Fried, KS Meel, MY Vardi
IJCAI, 689-695, 2015
372015
Counting-Based Reliability Estimation for Power-Transmission Grids
L Duenas-Osorio, KS Meel, R Paredes, MY Vardi
Proc. of AAAI, 2017
322017
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
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
202019
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
192016
MLIC: A MaxSAT-Based Framework for Learning Interpretable Classification Rules
D Malioutov, KS Meel
International Conference on Principles and Practice of Constraint …, 2018
172018
Constrained Counting and Sampling: Bridging the Gap between Theory and Practice
KS Meel
PhD Thesis, 2017
152017
IMLI: An Incremental Framework for MaxSAT-Based Learning of Interpretable Classification Rules
B Ghosh, KS Meel
Proc. of AIES, 2019
142019
Assessing heuristic machine learning explanations with model counting
N Narodytska, A Shrotri, KS Meel, A Ignatiev, J Marques-Silva
International Conference on Theory and Applications of Satisfiability …, 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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20