( en | de | ru )

 

Disambiguierung von "Järvisalo, Matti"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Pseudo-Boolean Optimization by Implicit Hitting Sets.

, , und . CP, Volume 210 von LIPIcs, Seite 51:1-51:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)

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.

Matti Järvisalo

Matti Adam

Katharina Matti

Matti Mantere

Matti Matilainen

 

Weitere Publikationen von Autoren mit dem selben Namen

Unifying Reasoning and Core-Guided Search for Maximum Satisfiability., und . JELIA, Volume 11468 von Lecture Notes in Computer Science, Seite 287-303. Springer, (2019)Learning Optimal Bounded Treewidth Bayesian Networks via Maximum Satisfiability., , und . AISTATS, Volume 33 von JMLR Workshop and Conference Proceedings, Seite 86-95. JMLR.org, (2014)Synthesizing Argumentation Frameworks from Examples., , und . J. Artif. Intell. Res., (2019)Oracle-Based Local Search for Pseudo-Boolean Optimization., , und . ECAI, Volume 372 von Frontiers in Artificial Intelligence and Applications, Seite 1124-1131. IOS Press, (2023)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)Clause Redundancy and Preprocessing in Maximum Satisfiability., , und . IJCAR, Volume 13385 von Lecture Notes in Computer Science, Seite 75-94. Springer, (2022)Computing MUS-Based Inconsistency Measures., , und . JELIA, Volume 14281 von Lecture Notes in Computer Science, Seite 745-755. Springer, (2023)µ-toksia: An Efficient Abstract Argumentation Reasoner., und . KR, Seite 800-804. (2020)MaxSAT-Based Cutting Planes for Learning Graphical Models., , und . CPAIOR, Volume 9075 von Lecture Notes in Computer Science, Seite 347-356. Springer, (2015)Preprocessing Argumentation Frameworks via Replacement Patterns., , , , und . JELIA, Volume 11468 von Lecture Notes in Computer Science, Seite 116-132. Springer, (2019)