Autor der Publikation

Towards More Efficient Local Search for Pseudo-Boolean Optimization.

, , , , und . CP, Volume 280 von LIPIcs, Seite 12:1-12:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)

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

Extended Conjunctive Normal Form and An Efficient Algorithm for Cardinality Constraints., , und . IJCAI, Seite 1141-1147. ijcai.org, (2020)Scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic..Old techniques in new ways: Clause weighting, unit propagation and hybridization for maximum satisfiability., und . Artif. Intell., (2020)NuDist: An Efficient Local Search Algorithm for (Weighted) Partial MaxSAT., und . Comput. J., 63 (9): 1321-1337 (2020)Solving Set Cover and Dominating Set via Maximum Satisfiability., und . AAAI, Seite 1569-1576. AAAI Press, (2020)Towards More Efficient Local Search for Pseudo-Boolean Optimization., , , , und . CP, Volume 280 von LIPIcs, Seite 12:1-12:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Solving (Weighted) Partial MaxSAT by Dynamic Local Search for SAT., und . IJCAI, Seite 1346-1352. ijcai.org, (2018)Efficient Local Search for Pseudo Boolean Optimization., , , und . SAT, Volume 12831 von Lecture Notes in Computer Science, Seite 332-348. Springer, (2021)