Подписаться
Matti Järvisalo
Matti Järvisalo
Professor of Computer Science, University of Helsinki
Подтвержден адрес электронной почты в домене helsinki.fi - Главная страница
Название
Процитировано
Процитировано
Год
Inprocessing Rules
M Järvisalo, M Heule, A Biere
Proceedings of the 6th International Joint Conference on Automated Reasoning …, 2012
2992012
The International SAT Solver Competitions
M Järvisalo, D Le Berre, O Roussel, L Simon
AI Magazine 33 (1), 89-92, 2012
2312012
Blocked clause elimination
M Järvisalo, A Biere, M Heule
International conference on tools and algorithms for the construction and …, 2010
1912010
Constraint-based Causal Discovery: Conflict Resolution with Answer Set Programming.
A Hyttinen, F Eberhardt, M Järvisalo
UAI, 340-349, 2014
1622014
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
1552012
SAT competition 2016: Recent developments
T Balyo, M Heule, M Jarvisalo
Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017
1232017
Discovering Cyclic Causal Models with Latent Variables: A General SAT-Based Procedure
A Hyttinen, PO Hoyer, F Eberhardt, M Jarvisalo
UAI, 2013
1212013
Clause elimination procedures for CNF formulas
M Heule, M Järvisalo, A Biere
Logic for Programming, Artificial Intelligence, and Reasoning: 17th …, 2010
1092010
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
982015
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
952011
Maximum satisfiabiliy
F Bacchus, M Järvisalo, R Martins
Handbook of satisfiability, 929-991, 2021
942021
SAT competition 2020
N Froleyks, M Heule, M Iser, M Järvisalo, M Suda
Artificial Intelligence 301, 103572, 2021
912021
LMHS: a SAT-IP hybrid MaxSAT solver
P Saikko, J Berg, M Järvisalo
International conference on theory and applications of satisfiability …, 2016
902016
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
882017
Acceptance in incomplete argumentation frameworks
D Baumeister, M Järvisalo, D Neugebauer, A Niskanen, J Rothe
Artificial Intelligence 295, 103470, 2021
762021
Learning optimal bounded treewidth Bayesian networks via maximum satisfiability
J Berg, M Järvisalo, B Malone
Artificial Intelligence and Statistics, 86-95, 2014
762014
Weak models of distributed computing, with connections to modal logic
L Hella, M Järvisalo, A Kuusisto, J Laurinharju, T Lempiäinen, K Luosto, ...
Proceedings of the 2012 ACM Symposium on Principles of distributed computing …, 2012
722012
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
712017
Simulating Circuit-Level Simplifications on CNF
M Järvisalo, A Biere, MJH Heule
Journal of Automated Reasoning 49 (4), 583-619, 2012
692012
Preprocessing in SAT solving
A Biere, M Järvisalo, B Kiesl
Handbook of Satisfiability, 391-435, 2021
652021
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20