( en | de | ru )

 

Disambiguierung von "Järvisalo, Matti"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Preprocessing in Incomplete MaxSAT Solving.

, , und . ECAI, Volume 325 von Frontiers in Artificial Intelligence and Applications, Seite 347-354. IOS Press, (2020)

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

Synthesizing Argumentation Frameworks from Examples., , und . J. Artif. Intell. Res., (2019)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)Clause Redundancy and Preprocessing in Maximum Satisfiability., , und . IJCAR, Volume 13385 von Lecture Notes in Computer Science, Seite 75-94. Springer, (2022)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)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)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)Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation., , und . Theory Pract. Log. Program., 21 (6): 717-734 (2021)Preprocessing Argumentation Frameworks via Replacement Patterns., , , , und . JELIA, Volume 11468 von Lecture Notes in Computer Science, Seite 116-132. Springer, (2019)