( 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 Schweizerhof

K Bier

K Amann

K Dugaev

 

Weitere Publikationen von Autoren mit dem selben Namen

Periodic Linear Programming with applications to real-time scheduling.. Math. Struct. Comput. Sci., 15 (2): 383-406 (2005)A polyhedral projection procedure for Q2SAT.. Electron. Notes Discret. Math., (2001)On the Design and Implementation of a Shared Memory Dispatcher for Partially Clairvoyant Schedulers., und . Int. J. Parallel Program., 36 (4): 386-411 (2008)A Polynomial Time Algorithm for Read-Once Certification of Linear Infeasibility in UTVPI Constraints., und . Algorithmica, 81 (7): 2765-2794 (2019)Finding read-once resolution refutations in systems of 2CNF clauses., , und . Theor. Comput. Sci., (2018)On the complexity of and solutions to the minimum stopping and trapping set problems., , und . Theor. Comput. Sci., (2022)New Results on Test-Cost Minimization in Database Migration., , , und . ALGOCLOUD, Volume 13084 von Lecture Notes in Computer Science, Seite 38-55. Springer, (2021)Algorithmic Analysis of Priority-Based Bin Packing., , , und . CALDAM, Volume 12601 von Lecture Notes in Computer Science, Seite 359-372. Springer, (2021)On the Approximability of Path and Cycle Problems in Arc-Dependent Networks., , , und . CALDAM, Volume 13179 von Lecture Notes in Computer Science, Seite 292-304. Springer, (2022)Analyzing Read-Once Cutting Plane Proofs in Horn Systems., , und . J. Autom. Reason., 66 (2): 239-274 (2022)