PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Jain, Siddhartha"

Author of the publication

copydeleteadd this publication to your clipboard
A General Nogood-Learning Framework for Pseudo-Boolean Multi-Valued SAT.

, , and . AAAI, AAAI Press, (2011)

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.

Ripu Jain University of Stuttgart

Shailja Jain University of Stuttgart

 

Other publications of authors with the same name

Large Neighborhood Search for Dial-a-Ride Problems., and . CP, volume 6876 of Lecture Notes in Computer Science, page 400-413. Springer, (2011)What made you do this? Understanding black-box decisions with sufficient input subsets., , , and . AISTATS, volume 89 of Proceedings of Machine Learning Research, page 567-576. PMLR, (2019)A Complete Multi-valued SAT Solver., , and . CP, volume 6308 of Lecture Notes in Computer Science, page 281-296. Springer, (2010)What made you do this? Understanding black-box decisions with sufficient input subsets., , , and . CoRR, (2018)Maximizing Overall Diversity for Improved Uncertainty Estimates in Deep Ensembles., , , and . CoRR, (2019)Multitask Learning of Signaling and Regulatory Networks with Application to Studying Human Response to Flu., , and . PLoS Computational Biology, (2014)A General Nogood-Learning Framework for Pseudo-Boolean Multi-Valued SAT., , and . AAAI, AAAI Press, (2011)Reconstructing the temporal progression of HIV-1 immune response pathways., , , , and . Bioinformatics, 32 (12): 253-261 (2016)Inapproximability of Additive Weak Contraction under SSEH and Strong UGC.. CoRR, (2019)Upper Bounds on the Number of Solutions of Binary Integer Programs., , and . CPAIOR, volume 6140 of Lecture Notes in Computer Science, page 203-218. Springer, (2010)