Author of the publication

A Dynamic MaxSAT-based Approach to Directed Feedback Vertex Sets.

, and . ALENEX, page 39-52. SIAM, (2023)

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

A Dynamic MaxSAT-based Approach to Directed Feedback Vertex Sets., and . ALENEX, page 39-52. SIAM, (2023)On the Complexity of Sum-of-Products Problems over Semirings., and . AAAI, page 6304-6311. AAAI Press, (2021)Semantically Guided Scene Generation via Contextual Reasoning and Algebraic Measures., , , and . ICLP Workshops, volume 3437 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)PACE Solver Description: DAGer - Cutting out Cycles with MaxSAT., and . IPEC, volume 249 of LIPIcs, page 32:1-32:4. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Semiring Reasoning Frameworks in AI and Their Computational Complexity., and . J. Artif. Intell. Res., (2023)"What if?" in Probabilistic Logic Programming., , and . Theory Pract. Log. Program., 23 (4): 884-899 (July 2023)Efficient Knowledge Compilation Beyond Weighted Model Counting., , and . Theory Pract. Log. Program., 22 (4): 505-522 (2022)Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures (Extended Abstract)., , and . Description Logics, volume 3263 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)aspmc: An Algebraic Answer Set Counter., , and . ICLP Workshops, volume 2970 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)Weighted LARS for Quantitative Stream Reasoning., and . ECAI, volume 325 of Frontiers in Artificial Intelligence and Applications, page 729-736. IOS Press, (2020)