( en | de | ru )

 

Disambiguierung von "Liffiton, Mark H."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Identifying Conflicts in Overconstrained Temporal Problems.

, , , und . IJCAI, Seite 205-211. Professional Book Center, (2005)

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.

H -H Kaatz

Mark Yampolsky

Maßnahmen zur Sicherung von E2E-QoS bei verketteten Diensten. Uni München, (2009)

Florian H H Giesert

Mark Schütte

Crf2 - ein neues Antigen von Aspergillus fumigatus. TU Braunschweig, (2009)

Lobna H airall h

 

Weitere Publikationen von Autoren mit dem selben Namen

Analyzing Infeasible Constraint Systems.. University of Michigan, USA, (2009)Patterns of Student Help-Seeking When Using a Large Language Model-Powered Programming Assistant., , , und . ACE, Seite 49-57. ACM, (2024)Identifying Conflicts in Overconstrained Temporal Problems., , , und . IJCAI, Seite 205-211. Professional Book Center, (2005)Algorithms for Computing Minimal Unsatisfiable Subsets of Constraints., und . J. Autom. Reason., 40 (1): 1-33 (2008)A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas., , , , , und . Constraints An Int. J., 14 (4): 415-442 (2009)Searching for Autarkies to Trim Unsatisfiable Clause Sets., und . SAT, Volume 4996 von Lecture Notes in Computer Science, Seite 182-195. Springer, (2008)Improved Design Debugging Using Maximum Satisfiability., , , , und . FMCAD, Seite 13-19. IEEE Computer Society, (2007)MaxSAT-Based MCS Enumeration., , und . Haifa Verification Conference, Volume 7857 von Lecture Notes in Computer Science, Seite 86-101. Springer, (2012)Refinement strategies for verification methods based on datapath abstraction., , und . ASP-DAC, Seite 19-24. IEEE, (2006)Fast, flexible MUS enumeration., , , und . Constraints An Int. J., 21 (2): 223-250 (2016)