Autor der Publikation

MaxSAT-Based Bi-Objective Boolean Optimization.

, , , und . SAT, Volume 236 von LIPIcs, Seite 12:1-12:23. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)

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

Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving., , , , und . IJCAI, Seite 1905-1911. ijcai.org, (2018)Synthesizing Argumentation Frameworks from Examples., , und . J. Artif. Intell. Res., (2019)Strong Refinements for Hard Problems in Argumentation Dynamics., und . ECAI, Volume 325 von Frontiers in Artificial Intelligence and Applications, Seite 841-848. IOS Press, (2020)µ-toksia: An Efficient Abstract Argumentation Reasoner., und . KR, Seite 800-804. (2020)Computing MUS-Based Inconsistency Measures., , und . JELIA, Volume 14281 von Lecture Notes in Computer Science, Seite 745-755. Springer, (2023)Learning big logical rules by joining small rules., , , , und . CoRR, (2024)Computational Approaches to Dynamics and Uncertainty in Abstract Argumentation.. University of Helsinki, Finland, (2020)base-search.net (ftunivhelsihelda:oai:helda.helsinki.fi:10138/319458).Learning MDL Logic Programs from Noisy Data., , , und . AAAI, Seite 10553-10561. AAAI Press, (2024)Algorithms for Dynamic Argumentation Frameworks: An Incremental SAT-Based Approach., und . ECAI, Volume 325 von Frontiers in Artificial Intelligence and Applications, Seite 849-856. IOS Press, (2020)Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving., , , , und . Artif. Intell., (2022)