( en | de | ru )

 

Disambiguierung von "Subramani, K."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
New Results on Cutting Plane Proofs for Horn Constraint Systems.

, , und . FSTTCS, Volume 150 von LIPIcs, Seite 43:1-43:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)

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 Schaber

K Beheng

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)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)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)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)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)