Autor der Publikation

Polynomial time algorithms for optimal length tree-like refutations of linear infeasibility in UTVPI constraints.

, , und . Discret. Appl. Math., (2021)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

A polyhedral projection procedure for Q2SAT.. Electron. Notes Discret. Math., (2001)Periodic Linear Programming with applications to real-time scheduling.. Math. Struct. Comput. Sci., 15 (2): 383-406 (2005)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)On the complexity of and solutions to the minimum stopping and trapping set problems., , und . Theor. Comput. Sci., (2022)Finding read-once resolution refutations in systems of 2CNF clauses., , und . Theor. Comput. Sci., (2018)Distributed algorithms for partially clairvoyant dispatchers., , und . Clust. Comput., 11 (2): 115-131 (2008)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)