Akses publik

Inprocessing Rules

M Järvisalo, M Heule, A Biere

Proceedings of the 6th International Joint Conference on Automated Reasoning …, 2012

Mandat: Austrian Science Fund

Complexity-Sensitive Decision Procedures for Abstract Argumentation

W Dvorák, M Järvisalo, JP Wallner, S Woltran

Proceedings of the 13th International Conference on Principles of Knowledge …, 2012

Mandat: Austrian Science Fund

[PS] jair.org

Clause elimination for SAT and QSAT

M Heule, M Järvisalo, F Lonsing, M Seidl, A Biere

Journal of Artificial Intelligence Research 53, 127-168, 2015

Mandat: Austrian Science Fund, Academy of Finland, Vienna Science and Technology …

[PDF] psu.edu

Efficient CNF simplification based on binary implication graphs

M Heule, M Järvisalo, A Biere

Theory and Applications of Satisfiability Testing-SAT 2011, 201-215, 2011

Mandat: Austrian Science Fund

SAT competition 2020

N Froleyks, M Heule, M Iser, M Järvisalo, M Suda

Artificial Intelligence 301, 103572, 2021

Mandat: US National Science Foundation, Austrian Science Fund, Academy of Finland …

LMHS: a SAT-IP hybrid MaxSAT solver

P Saikko, J Berg, M Järvisalo

International conference on theory and applications of satisfiability …, 2016

Mandat: Academy of Finland

[PS] jair.org

Complexity results and algorithms for extension enforcement in abstract argumentation

JP Wallner, A Niskanen, M Järvisalo

Journal of Artificial Intelligence Research 60, 1-40, 2017

Mandat: Austrian Science Fund, Academy of Finland

Acceptance in incomplete argumentation frameworks

D Baumeister, M Järvisalo, D Neugebauer, A Niskanen, J Rothe

Artificial Intelligence 295, 103470, 2021

Mandat: German Research Foundation, Academy of Finland

[PDF] jair.org

Bayesian network structure learning with integer programming: Polytopes, facets and complexity

J Cussens, M Järvisalo, JH Korhonen, M Bartlett

Journal of Artificial Intelligence Research 58, 185-229, 2017

Mandat: US National Institutes of Health, Academy of Finland, Icelandic Centre for …

[PDF] researchgate.net

Simulating Circuit-Level Simplifications on CNF

M Järvisalo, A Biere, MJH Heule

Journal of Automated Reasoning 49 (4), 583-619, 2012

Mandat: Austrian Science Fund

Do-calculus when the True Graph Is Unknown.

A Hyttinen, F Eberhardt, M Järvisalo

UAI 15, 395-404, 2015

Mandat: Academy of Finland

μ-toksia: an efficient abstract argumentation reasoner

A Niskanen, M Järvisalo

International Conference on Principles of Knowledge Representation and …, 2020

Mandat: Academy of Finland

[PDF] sagepub.com

SAT competition 2018

MJH Heule, M Järvisalo, M Suda

Journal on Satisfiability, Boolean Modelling and Computation 11 (1), 133-154, 2019

Mandat: US National Science Foundation, Austrian Science Fund, Academy of Finland …

Overview and analysis of the SAT Challenge 2012 solver competition

A Balint, A Belov, M Järvisalo, C Sinz

Artificial Intelligence 223, 120-155, 2015

Mandat: German Research Foundation, Academy of Finland, Science Foundation Ireland

Integrating tree decompositions into decision heuristics of propositional model counters

T Korhonen, M Järvisalo

27th International Conference on Principles and Practice of Constraint …, 2021

Mandat: Academy of Finland

[PDF] mlr.press

Causal discovery from subsampled time series data by constraint optimization

A Hyttinen, S Plis, M Järvisalo, F Eberhardt, D Danks

Conference on Probabilistic Graphical Models, 216-227, 2016

Mandat: US National Science Foundation, US National Institutes of Health, Academy of …

[PDF] mit.edu

Relating proof complexity measures and practical hardness of SAT

M Järvisalo, A Matsliah, J Nordström, S Zivný

18th International Conference on Principles and Practice of Constraint …, 2012

Mandat: Swedish Research Council

SAT-based approaches to treewidth computation: An evaluation

J Berg, M Järvisalo

2014 IEEE 26th international conference on tools with artificial …, 2014

Mandat: Academy of Finland, Finnish Funding Agency for Innovation

[PDF] jair.org

Synthesizing argumentation frameworks from examples

A Niskanen, J Wallner, M Järvisalo

Journal of Artificial Intelligence Research 66, 503-554, 2019

Mandat: Austrian Science Fund, Academy of Finland