Author of the publication

MaxPre: An Extended MaxSAT Preprocessor.

, , , and . SAT, volume 10491 of Lecture Notes in Computer Science, page 449-456. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Shortest Cycles with Monotone Submodular Costs., , , , and . ACM Trans. Algorithms, 20 (1): 2:1-2:16 (January 2024)Fixed-Parameter Tractability of Maximum Colored Path and Beyond., , , , and . CoRR, (2022)Enumerating Potential Maximal Cliques via SAT and ASP., , and . IJCAI, page 1116-1122. ijcai.org, (2019)Integrating Tree Decompositions into Decision Heuristics of Propositional Model Counters (Short Paper)., and . CP, volume 210 of LIPIcs, page 8:1-8:11. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Computing Tree Decompositions with Small Independence Number., , , , and . ICALP, volume 297 of LIPIcs, page 51:1-51:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)Computing Tree Decompositions with Small Independence Number., , , , and . CoRR, (2022)Fast FPT-approximation of branchwidth., and . STOC, page 886-899. ACM, (2022)An Improved Parameterized Algorithm for Treewidth., and . STOC, page 528-541. ACM, (2023)Minor Containment and Disjoint Paths in almost-linear time., , and . CoRR, (2024)Almost-Linear Time Parameterized Algorithm for Rankwidth via Dynamic Rankwidth., and . STOC, page 1538-1549. ACM, (2024)