Matti Järvisalo
Matti Järvisalo
Associate Professor, University of Helsinki
Dirección de correo verificada de helsinki.fi - Página principal
Título
Citado por
Citado por
Año
Inprocessing Rules
M Järvisalo, M Heule, A Biere
Proceedings of the 6th International Joint Conference on Automated Reasoning …, 2012
1772012
The International SAT Solver Competitions
M Järvisalo, D Le Berre, O Roussel, L Simon
AI Magazine 33 (1), 89-92, 2012
1522012
Blocked clause elimination
M Järvisalo, A Biere, M Heule
International conference on tools and algorithms for the construction and …, 2010
1332010
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
1002012
Clause elimination procedures for CNF formulas
M Heule, M Järvisalo, A Biere
International Conference on Logic for Programming Artificial Intelligence …, 2010
812010
Constraint-based Causal Discovery: Conflict Resolution with Answer Set Programming.
A Hyttinen, F Eberhardt, M Järvisalo
UAI, 340-349, 2014
792014
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
682011
Discovering Cyclic Causal Models with Latent Variables: A General SAT-Based Procedure
A Hyttinen, PO Hoyer, F Eberhardt, M Jarvisalo
UAI, 2013
652013
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
632015
Unrestricted vs restricted cut in a tableau method for Boolean circuits
M Järvisalo, T Junttila, I Niemelä
Annals of Mathematics and Artificial Intelligence 44 (4), 373-399, 2005
612005
SAT competition 2016: Recent developments
T Balyo, MJH Heule, M Jarvisalo
Thirty-First AAAI Conference on Artificial Intelligence, 2017
572017
Learning optimal bounded treewidth Bayesian networks via maximum satisfiability
J Berg, M Järvisalo, B Malone
Artificial Intelligence and Statistics, 86-95, 2014
512014
Simulating Circuit-Level Simplifications on CNF
M Järvisalo, A Biere, MJH Heule
Journal of Automated Reasoning 49 (4), 583-619, 2012
502012
Limitations of restricted branching in clause learning
M Järvisalo, T Junttila
Constraints 14 (3), 325-356, 2009
492009
LMHS: a SAT-IP hybrid MaxSAT solver
P Saikko, J Berg, M Järvisalo
International conference on theory and applications of satisfiability …, 2016
482016
Harnessing constraint programming for poetry composition
J Toivanen, M Järvisalo, H Toivonen
The Fourth International Conference on Computational Creativity, 2013
472013
Weak models of distributed computing, with connections to modal logic
L Hella, M Järvisalo, A Kuusisto, J Laurinharju, T Lempiäinen, K Luosto, ...
Distributed Computing 28 (1), 31-53, 2015
442015
A module-based framework for multi-language constraint modeling
M Järvisalo, E Oikarinen, T Janhunen, I Niemelä
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2009
392009
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
382012
Hard satisfiable clause sets for benchmarking equivalence reasoning techniques
H Haanpää, M Järvisalo, P Kaski, I Niemelä
Journal on Satisfiability, Boolean Modeling and Computation 2 (1-4), 27-46, 2006
382006
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20