Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Design and Verification of Distributed Phasers.

K. Murthy, S. Paul, K. Meel, T. Cogumbreiro, and J. Mellor-Crummey. Euro-Par, volume 9833 of Lecture Notes in Computer Science, page 405-418. Springer, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

S. Schumann

S. Seemann

S. Wartzack

Boettinger S

S. Toro

Other publications of authors with the same name

Assessing Heuristic Machine Learning Explanations with Model Counting.N. Narodytska, A. Shrotri, K. Meel, A. Ignatiev, and J. Marques-Silva. SAT, volume 11628 of Lecture Notes in Computer Science, page 267-278. Springer, (2019)BIRD: Engineering an Efficient CNF-XOR SAT Solver and Its Applications to Approximate Model Counting.M. Soos, and K. Meel. AAAI, page 1592-1599. AAAI Press, (2019)WAPS: Weighted and Projected Sampling.R. Gupta, S. Sharma, S. Roy, and K. Meel. TACAS (1), volume 11427 of Lecture Notes in Computer Science, page 59-76. Springer, (2019)Algorithmic Improvements in Approximate Counting for Probabilistic Inference: From Linear to Logarithmic SAT Calls.S. Chakraborty, K. Meel, and M. Vardi. IJCAI, page 3569-3576. IJCAI/AAAI Press, (2016)Combining the k-CNF and XOR Phase-Transitions.J. Dudek, K. Meel, and M. Vardi. CoRR, (2017)Bosphorus: Bridging ANF and CNF Solvers.D. Choo, M. Soos, K. Chai, and K. Meel. DATE, page 468-473. IEEE, (2019)Knowledge Compilation meets Uniform Sampling.S. Sharma, R. Gupta, S. Roy, and K. Meel. LPAR, volume 57 of EPiC Series in Computing, page 620-636. EasyChair, (2018)Constrained Counting and Sampling: Bridging the Gap between Theory and Practice.K. Meel. CoRR, (2018)On computing minimal independent support and its applications to sampling and counting.A. Ivrii, S. Malik, K. Meel, and M. Vardi. Constraints, 21 (1): 41-58 (2016)MLIC: A MaxSAT-Based Framework for Learning Interpretable Classification Rules.D. Malioutov, and K. Meel. CP, volume 11008 of Lecture Notes in Computer Science, page 312-327. Springer, (2018)