( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
PACE Solver Description: DAGer - Cutting out Cycles with MaxSAT.

, и . IPEC, том 249 из LIPIcs, стр. 32:1-32:4. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)

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.

Antje Kiesel

Jan Kiesel

Rudolf Kiesel

Helmut Kiesel

Berthold Kiesel

 

Другие публикации лиц с тем же именем

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