The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Kuldeep S. Meel" ( http://dblp.L3S.de/Authors/Kuldeep_S._Meel )

URL (Homepage):  https://www.comp.nus.edu.sg/~meel/  Author page on DBLP  Author page in RDF  Community of Kuldeep S. Meel in ASPL-2

Publication years (Num. hits)
2013-2015 (16) 2016-2018 (20) 2019 (17)
Publication types (Num. hits)
article(21) inproceedings(32)
Venues (Conferences, Journals, ...)
CoRR(18) IJCAI(7) AAAI(6) CP(3) Constraints(2) SAT(2) AAAI Workshop: Beyond NP(1) AIES(1) CAV(1) CC(1) CCS(1) DAC(1) DATE(1) Euro-Par(1) FSTTCS(1) LPAR(1) More (+10 of total 21)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 54 publication records. Showing 53 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Roger Paredes, Leonardo Dueñas-Osorio, Kuldeep S. Meel, Moshe Y. Vardi Principled network reliability approximation: A counting-based approach. Search on Bibsonomy Rel. Eng. & Sys. Safety The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Teodora Baluta, Shiqi Shen, Shweta Shinde, Kuldeep S. Meel, Prateek Saxena Quantitative Verification of Neural Networks And its Security Applications. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Yash Pote, Saurabh Joshi 0001, Kuldeep S. Meel Phase Transition Behavior of Cardinality and XOR Constraints. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi Not all FPRASs are equal: demystifying FPRASs for DNF-counting. Search on Bibsonomy Constraints The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Teodora Baluta, Shiqi Shen, Shweta Shinde, Kuldeep S. Meel, Prateek Saxena Quantitative Verification of Neural Networks and Its Security Applications. Search on Bibsonomy CCS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Davin Choo, Mate Soos, Kian Ming Adam Chai, Kuldeep S. Meel Bosphorus: Bridging ANF and CNF Solvers. Search on Bibsonomy DATE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mate Soos, Kuldeep S. Meel BIRD: Engineering an Efficient CNF-XOR SAT Solver and Its Applications to Approximate Model Counting. Search on Bibsonomy AAAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi On the Hardness of Probabilistic Inference Relaxations. Search on Bibsonomy AAAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sourav Chakraborty 0001, Kuldeep S. Meel On Testing of Uniform Samplers. Search on Bibsonomy AAAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nina Narodytska, Aditya A. Shrotri, Kuldeep S. Meel, Alexey Ignatiev, João Marques-Silva Assessing Heuristic Machine Learning Explanations with Model Counting. Search on Bibsonomy SAT The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mate Soos, Raghav Kulkarni, Kuldeep S. Meel CrystalBall: Gazing in the Black Box of SAT Solving. Search on Bibsonomy SAT The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Rahul Gupta, Shubham Sharma, Subhajit Roy, Kuldeep S. Meel WAPS: Weighted and Projected Sampling. Search on Bibsonomy TACAS (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alexis de Colnet, Kuldeep S. Meel Dual Hashing-Based Algorithms for Discrete Integration. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bishwamittra Ghosh, Kuldeep S. Meel IMLI: An Incremental Framework for MaxSAT-Based Learning of Interpretable Classification Rules. Search on Bibsonomy AIES The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yash Pote, Saurabh Joshi 0001, Kuldeep S. Meel Phase Transition Behavior of Cardinality and XOR Constraints. Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Shubham Sharma, Subhajit Roy, Mate Soos, Kuldeep S. Meel GANAK: A Scalable Probabilistic Exact Model Counter. Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi Not All FPRASs are Equal: Demystifying FPRASs for DNF-Counting (Extended Abstract). Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Dmitry Malioutov, Kuldeep S. Meel MLIC: A MaxSAT-Based framework for learning interpretable classification rules. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Kuldeep S. Meel Constrained Counting and Sampling: Bridging the Gap between Theory and Practice. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Davin Choo, Mate Soos, Kian Ming Adam Chai, Kuldeep S. Meel BOSPHORUS: Bridging ANF and CNF Solvers. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Roger Paredes, Leonardo Dueñas-Osorio, Kuldeep S. Meel, Moshe Y. Vardi Network Reliability Estimation in Theory and Practice. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Shubham Sharma, Rahul Gupta, Subhajit Roy, Kuldeep S. Meel Knowledge Compilation meets Uniform Sampling. Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Dmitry Malioutov, Kuldeep S. Meel MLIC: A MaxSAT-Based Framework for Learning Interpretable Classification Rules. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Fabrizio Biondi, Michael A. Enescu, Annelie Heuser, Axel Legay, Kuldeep S. Meel, Jean Quilbeuf Scalable Approximation of Quantitative Information Flow in Programs. Search on Bibsonomy VMCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Jeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi Combining the k-CNF and XOR Phase-Transitions. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi On Hashing-Based Approaches to Approximate DNF-Counting. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Leonardo Dueñas-Osorio, Kuldeep S. Meel, Roger Paredes, Moshe Y. Vardi Counting-Based Reliability Estimation for Power-Transmission Grids. Search on Bibsonomy AAAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi On Hashing-Based Approaches to Approximate DNF-Counting. Search on Bibsonomy FSTTCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alexander Ivrii, Sharad Malik, Kuldeep S. Meel, Moshe Y. Vardi On computing minimal independent support and its applications to sampling and counting. Search on Bibsonomy Constraints The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Deepak Majeti, Kuldeep S. Meel, Rajkishore Barik, Vivek Sarkar Automatic data layout generation and kernel mapping for CPU+GPU architectures. Search on Bibsonomy CC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Karthik Murthy, Sri Raj Paul, Kuldeep S. Meel, Tiago Cogumbreiro, John M. Mellor-Crummey Design and Verification of Distributed Phasers. Search on Bibsonomy Euro-Par The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Supratik Chakraborty, Kuldeep S. Meel, Rakesh Mistry, Moshe Y. Vardi Approximate Probabilistic Inference via Word-Level Counting. Search on Bibsonomy AAAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Kuldeep S. Meel, Moshe Y. Vardi, Supratik Chakraborty, Daniel J. Fremont, Sanjit A. Seshia, Dror Fried, Alexander Ivrii, Sharad Malik Constrained Sampling and Counting: Universal Hashing Meets SAT Solving. Search on Bibsonomy AAAI Workshop: Beyond NP The full citation details ... 2016 DBLP  BibTeX  RDF
1Jeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi Combining the k-CNF and XOR Phase-Transitions. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi Algorithmic Improvements in Approximate Counting for Probabilistic Inference: From Linear to Logarithmic SAT Calls. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Supratik Chakraborty, Kuldeep S. Meel, Rakesh Mistry, Moshe Y. Vardi Approximate Probabilistic Inference via Word-Level Counting. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Sri Raj Paul, Karthik Murthy, Kuldeep S. Meel, John M. Mellor-Crummey Distributed Phasers. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Kuldeep S. Meel, Moshe Y. Vardi, Supratik Chakraborty, Daniel J. Fremont, Sanjit A. Seshia, Dror Fried, Alexander Ivrii, Sharad Malik Constrained Sampling and Counting: Universal Hashing Meets SAT Solving. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi On Parallel Scalable Uniform SAT Witness Generation. Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Supratik Chakraborty, Dror Fried, Kuldeep S. Meel, Moshe Y. Vardi From Weighted to Unweighted Model Counting. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Deepak Majeti, Kuldeep S. Meel, Rajkishore Barik, Vivek Sarkar ADHA: Automatic Data layout framework for Heterogeneous Architectures. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi Distribution-Aware Sampling and Weighted Model Counting for SAT. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi Balancing Scalability and Uniformity in SAT Witness Generator. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Kuldeep S. Meel Sampling Techniques for Boolean Satisfiability. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Deepak Majeti, Kuldeep S. Meel, Rajkishore Barik, Vivek Sarkar ADHA: automatic data layout framework for heterogeneous architectures. Search on Bibsonomy PACT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi Distribution-Aware Sampling and Weighted Model Counting for SAT. Search on Bibsonomy AAAI The full citation details ... 2014 DBLP  BibTeX  RDF
1Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi Balancing Scalability and Uniformity in SAT Witness Generator. Search on Bibsonomy DAC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi A Scalable Approximate Model Counter. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi A Scalable and Nearly Uniform Generator of SAT Witnesses Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi A Scalable and Nearly Uniform Generator of SAT Witnesses. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi A Scalable Approximate Model Counter. Search on Bibsonomy CP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #53 of 53 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license