( en | de | ru )

 

Disambiguation of "Järvisalo, Matti"

Author of the publication

copydeleteadd this publication to your clipboard
Computing MUS-Based Inconsistency Measures.

, , and . JELIA, volume 14281 of Lecture Notes in Computer Science, page 745-755. Springer, (2023)

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 Järvisalo

Matti Adam

Katharina Matti

Matti Mantere

Matti Matilainen

 

Other publications of authors with the same name

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