( en | de | ru )

 

Disambiguierung von "Kiesel, Rafael"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Dynamic MaxSAT-based Approach to Directed Feedback Vertex Sets.

, und . ALENEX, Seite 39-52. SIAM, (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.

Berthold Kiesel

Bernhard Kiesel

Doron Kiesel

Antje Kiesel

Jan Kiesel

 

Weitere Publikationen von Autoren mit dem selben Namen

On the Complexity of Sum-of-Products Problems over Semirings., und . AAAI, Seite 6304-6311. AAAI Press, (2021)Semantically Guided Scene Generation via Contextual Reasoning and Algebraic Measures., , , und . ICLP Workshops, Volume 3437 von CEUR Workshop Proceedings, CEUR-WS.org, (2023)A Dynamic MaxSAT-based Approach to Directed Feedback Vertex Sets., und . ALENEX, Seite 39-52. SIAM, (2023)PACE Solver Description: DAGer - Cutting out Cycles with MaxSAT., und . IPEC, Volume 249 von LIPIcs, Seite 32:1-32:4. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Semiring Reasoning Frameworks in AI and Their Computational Complexity., und . J. Artif. Intell. Res., (2023)"What if?" in Probabilistic Logic Programming., , und . Theory Pract. Log. Program., 23 (4): 884-899 (Juli 2023)Efficient Knowledge Compilation Beyond Weighted Model Counting., , und . Theory Pract. Log. Program., 22 (4): 505-522 (2022)Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures (Extended Abstract)., , und . Description Logics, Volume 3263 von CEUR Workshop Proceedings, CEUR-WS.org, (2022)Zeitliche und Quantitative Erweiterungen der Antwortmengenprogrammierung.. Ausgezeichnete Informatikdissertationen, Volume D-24 von LNI, GI, (2023)Preferential Default Reasoning on the Semantic Web., , und . Description Logics, Volume 2211 von CEUR Workshop Proceedings, CEUR-WS.org, (2018)