PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Jain, Siddhartha"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Complete Multi-valued SAT Solver.

, , und . CP, Volume 6308 von Lecture Notes in Computer Science, Seite 281-296. Springer, (2010)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Ripu Jain University of Stuttgart

Shailja Jain University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

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