( en | de | ru )

 

Disambiguation of "Niskanen, Andreas"

Author of the publication

copydeleteadd this publication to your clipboard
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.

Matti Niskanen

Andreas

Andreas Sarcletti

Die Bedeutung von Praktika und studentischen Erwerbstätigkeiten für den Berufseinstieg.. Uni Bamberg, (2009)

Andreas Ströhl

Die Geste Mensch: Vilém Flussers Kulturtheorie als kommunikationsphilosophischer Zukunftsentwurf. Uni Marburg, (2009)

Andreas Nerlich

Lebensumstände und Krankheiten einer mittelalterlich bis neuzeitlichen Bevölkerung Südddeutschlands: paläopathologische Untersuchungen. Uni München, (2009)
 

Other publications of authors with the same name

Smallest Explanations and Diagnoses of Rejection in Abstract Argumentation., and . KR, page 667-671. (2020)Enabling Incrementality in the Implicit Hitting Set Approach to MaxSAT Under Changing Weights., , and . CP, volume 210 of LIPIcs, page 44:1-44:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)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)Incremental Maximum Satisfiability., , and . SAT, volume 236 of LIPIcs, page 14:1-14:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)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)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)From Single-Objective to Bi-Objective Maximum Satisfiability Solving., , , and . J. Artif. Intell. Res., (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).