1. ScholarBank@NUS

Kuldeep Singh Meel

rp55597

Collaboration Map View Statistics Email Alert RSS Feed

Profile

Full Name
Kuldeep Singh Meel
Main Affiliation
 
Faculty
 
Email
dcsksm@nus.edu.sg
 

Publications

Results 1-5 of 5 (Search time: 0.008 seconds).

Issue DateTitleAuthor(s)
15-Jul-2023Approximate Model Counting: Is SAT Oracle More Powerful Than NP Oracle?Chakraborty, Diptarka ; Chakraborty, Sourav; Kumar, Gunjan ; Meel, Kuldeep S 
210-Dec-2019Embedding Symbolic Knowledge into Deep NetworksYaqi Xie; Ziwei Xu; KANKANHALLI MOHAN S ; KULDEEP SINGH MEEL ; HAROLD SOH SOON HONG 
32024Equivalence Testing: The Power of Bounded Adaptivity.Chakraborty, Diptarka ; Chakraborty, Sourav; Kumar, Gunjan ; Meel, Kuldeep S 
418-May-2021Predicting Forest Fire Using Remote Sensing Data And Machine LearningYang, Suwei; Lupascu, Massimo ; Meel, Kuldeep 
51-Aug-2023Support Size Estimation: The Power of ConditioningChakraborty, D ; Kumar, G ; Meel, KS