( en | de | ru )

 

Disambiguierung von "Berg, Jeremias"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Unifying Reasoning and Core-Guided Search for Maximum Satisfiability.

, und . JELIA, Volume 11468 von Lecture Notes in Computer Science, Seite 287-303. Springer, (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.

Günther Jeremias

Jeremias Levy

Kurt Jeremias

Gert Jeremias

Johannes Jeremias

 

Weitere Publikationen von Autoren mit dem selben Namen

Preprocessing in Incomplete MaxSAT Solving., , und . ECAI, Volume 325 von Frontiers in Artificial Intelligence and Applications, Seite 347-354. IOS Press, (2020)Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization., , , und . CP, Volume 280 von LIPIcs, Seite 18:1-18:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Pseudo-Boolean Optimization by Implicit Hitting Sets., , und . CP, Volume 210 von LIPIcs, Seite 51:1-51:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Solving Graph Problems via Potential Maximal Cliques: An Experimental Evaluation of the Bouchitté-Todinca Algorithm., , und . ACM J. Exp. Algorithmics, 24 (1): 1.9:1-1.9:19 (2019)Refined Core Relaxation for Core-Guided MaxSAT Solving., , und . CP, Volume 210 von LIPIcs, Seite 28:1-28:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Enumerating Potential Maximal Cliques via SAT and ASP., , und . IJCAI, Seite 1116-1122. ijcai.org, (2019)Core-Guided and Core-Boosted Search for CP., , , und . CPAIOR, Volume 12296 von Lecture Notes in Computer Science, Seite 205-221. Springer, (2020)Abstract Cores in Implicit Hitting Set MaxSat Solving., , und . SAT, Volume 12178 von Lecture Notes in Computer Science, Seite 277-294. Springer, (2020)Certified Core-Guided MaxSAT Solving., , , , und . CADE, Volume 14132 von Lecture Notes in Computer Science, Seite 1-22. Springer, (2023)Improvements to the Implicit Hitting Set Approach to Pseudo-Boolean Optimization., , und . SAT, Volume 236 von LIPIcs, Seite 13:1-13:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)