( en | de | ru )

 

Disambiguierung von "Subramani, K."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Analyzing the Reachability Problem in Choice Networks.

, , und . CPAIOR, Volume 13292 von Lecture Notes in Computer Science, Seite 408-423. Springer, (2022)

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.

Aman K K Bhasin

K Kusterer

K Abeyratne

Krishna-K

K Schweizerhof

 

Weitere Publikationen von Autoren mit dem selben Namen

On the Complexities of Selected Satisfiability and Equivalence Queries over Boolean Formulas and Inclusion Queries over Hulls.. Adv. Decis. Sci., (2009)Absorbing random walks and the NAE2SAT problem., und . Int. J. Comput. Math., 88 (3): 452-467 (2011)On contrasting vertex contraction with relaxation-based approaches for negative cost cycle detection., und . Appl. Math. Comput., 173 (1): 273-305 (2006)An Empirical Analysis of Feasibility Checking Algorithms for UTVPI Constraints., , , und . AAIM, Volume 11343 von Lecture Notes in Computer Science, Seite 111-123. Springer, (2018)A Graphical Theorem of the Alternative for UTVPI Constraints., und . ICTAC, Volume 9399 von Lecture Notes in Computer Science, Seite 328-345. Springer, (2015)Analyzing Selected Quantified Integer Programs.. IJCAR, Volume 3097 von Lecture Notes in Computer Science, Seite 342-356. Springer, (2004)An Optimal Algorithm for Computing the Integer Closure of UTVPI Constraints., und . WALCOM, Volume 9627 von Lecture Notes in Computer Science, Seite 154-165. Springer, (2016)Differentiable Discrete Optimization Using Dataless Neural Networks., , und . COCOA (2), Volume 14462 von Lecture Notes in Computer Science, Seite 3-15. Springer, (2023)Boolean Functions as Models for Quantified Boolean Formulas., , und . J. Autom. Reason., 39 (1): 49-75 (2007)A Randomized Algorithm for BBCSPs in the Prover-Verifier Model.. ICTAC, Volume 4711 von Lecture Notes in Computer Science, Seite 455-466. Springer, (2007)