Old Web
English
Sign In
Acemap
>
authorDetail
>
Kuldeep S. Meel
Kuldeep S. Meel
Theoretical computer science
Artificial intelligence
Machine learning
Computer science
Probabilistic logic
6
Papers
5
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (6)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Taming Discrete Integration via the Boon of Dimensionality
2020
| Annual Conference on Neural Information Processing Systems
Jeffrey Dudek
Dror Fried
Kuldeep S. Meel
Show All
Source
Cite
Save
Citations (0)
Principled Network Reliability Approximation: A Counting-Based Approach.
2019
arXiv: Data Structures and Algorithms
Roger Paredes
Leonardo Duenas Osorio
Kuldeep S. Meel
Moshe Y. Vardi
Show All
Source
Cite
Save
Citations (0)
Semantically-Regularized Logic Graph Embeddings
2019
arXiv: Artificial Intelligence
Yaqi Xie
Ziwei Xu
Kuldeep S. Meel
Mohan S. Kankanhalli
Harold Soh
Show All
Source
Cite
Save
Citations (2)
The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas
2017
arXiv: Discrete Mathematics
Jeffrey M Dudek
Kuldeep S. Meel
Moshe Y. Vardi
Show All
Source
Cite
Save
Citations (0)
Constrained Sampling and Counting: Universal Hashing Meets SAT Solving
2015
arXiv: Artificial Intelligence
Kuldeep S. Meel
Moshe Y. Vardi
Supratik Chakraborty
Daniel J. Fremont
Sanjit A. Seshia
Dror Fried
Alexander Ivrii
Sharad Malik
Show All
Source
Cite
Save
Citations (2)
Approximate Probabilistic Inference via Word-Level Counting
2015
arXiv: Artificial Intelligence
Supratik Chakraborty
Kuldeep S. Meel
Rakesh Mistry
Moshe Y. Vardi
Show All
Source
Cite
Save
Citations (1)
1