( en | de | ru )

 

Disambiguierung von "Subramani, K."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Optimal Length Tree-Like Refutations of Linear Feasibility in UTVPI Constraints.

, , und . FAW, Volume 10823 von Lecture Notes in Computer Science, Seite 300-314. Springer, (2018)

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 Böhm

K Schweizerhof

K Schaber

K Beheng

 

Weitere Publikationen von Autoren mit dem selben Namen

On contrasting vertex contraction with relaxation-based approaches for negative cost cycle detection., und . Appl. Math. Comput., 173 (1): 273-305 (2006)Absorbing random walks and the NAE2SAT problem., und . Int. J. Comput. Math., 88 (3): 452-467 (2011)On the Complexities of Selected Satisfiability and Equivalence Queries over Boolean Formulas and Inclusion Queries over Hulls.. Adv. Decis. Sci., (2009)A Randomized Algorithm for BBCSPs in the Prover-Verifier Model.. ICTAC, Volume 4711 von Lecture Notes in Computer Science, Seite 455-466. Springer, (2007)Boolean Functions as Models for Quantified Boolean Formulas., , und . J. Autom. Reason., 39 (1): 49-75 (2007)Algorithmic Aspects of Risk Management., , und . Formal Modeling: Actors, Open Systems, Biological Systems, Volume 7000 von Lecture Notes in Computer Science, Seite 262-276. Springer, (2011)Differentiable Discrete Optimization Using Dataless Neural Networks., , und . COCOA (2), Volume 14462 von Lecture Notes in Computer Science, Seite 3-15. Springer, (2023)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)