Author of the publication

MaxSAT-Based Bi-Objective Boolean Optimization.

, , , and . SAT, volume 236 of LIPIcs, page 12:1-12:23. 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. 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

Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving., , , , and . IJCAI, page 1905-1911. ijcai.org, (2018)Strong Refinements for Hard Problems in Argumentation Dynamics., and . ECAI, volume 325 of Frontiers in Artificial Intelligence and Applications, page 841-848. IOS Press, (2020)Synthesizing Argumentation Frameworks from Examples., , and . J. Artif. Intell. Res., (2019)Computing MUS-Based Inconsistency Measures., , and . JELIA, volume 14281 of Lecture Notes in Computer Science, page 745-755. Springer, (2023)µ-toksia: An Efficient Abstract Argumentation Reasoner., and . KR, page 800-804. (2020)Learning big logical rules by joining small rules., , , , and . 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., , , and . AAAI, page 10553-10561. AAAI Press, (2024)Algorithms for Dynamic Argumentation Frameworks: An Incremental SAT-Based Approach., and . ECAI, volume 325 of Frontiers in Artificial Intelligence and Applications, page 849-856. IOS Press, (2020)Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving., , , , and . Artif. Intell., (2022)