( en | de | ru )

 

Disambiguierung von "Järvisalo, Matti"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Improving the Effectiveness of SAT-Based Preprocessing for MaxSAT.

, , und . IJCAI, Seite 239-245. AAAI Press, (2015)

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

SAT-based Judgment Aggregation., , und . AAMAS, Seite 1412-1420. ACM, (2023)Controllability of Control Argumentation Frameworks., , und . IJCAI, Seite 1855-1861. ijcai.org, (2020)Scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic..Enumerating Potential Maximal Cliques via SAT and ASP., , und . IJCAI, Seite 1116-1122. ijcai.org, (2019)Preprocessing Argumentation Frameworks via Replacement Patterns., , , , und . JELIA, Volume 11468 von Lecture Notes in Computer Science, Seite 116-132. Springer, (2019)MaxSAT-Based Cutting Planes for Learning Graphical Models., , und . CPAIOR, Volume 9075 von Lecture Notes in Computer Science, Seite 347-356. Springer, (2015)Learning Chordal Markov Networks via Stochastic Local Search., , und . ECAI, Volume 325 von Frontiers in Artificial Intelligence and Applications, Seite 2632-2639. IOS Press, (2020)Certified MaxSAT Preprocessing., , , , , und . CoRR, (2024)Integrating Tree Decompositions into Decision Heuristics of Propositional Model Counters (Short Paper)., und . CP, Volume 210 von LIPIcs, Seite 8:1-8:11. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Refined Core Relaxation for Core-Guided MaxSAT Solving., , und . CP, Volume 210 von LIPIcs, Seite 28:1-28:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Impact of Learning Strategies on the Quality of Bayesian Networks: An Empirical Evaluation., , und . UAI, Seite 562-571. AUAI Press, (2015)