×
Compute Distance To:
Author ID: jarvisalo.matti Recent zbMATH articles by "Järvisalo, Matti"
Published as: Järvisalo, Matti
External Links: ORCID

Publications by Year

Citations contained in zbMATH Open

39 Publications have been cited 254 times in 164 Documents Cited by Year
Inprocessing rules. Zbl 1358.68256
Järvisalo, Matti; Heule, Marijn J. H.; Biere, Armin
38
2012
Blocked clause elimination. Zbl 1284.03208
Järvisalo, Matti; Biere, Armin; Heule, Marijn
30
2010
Clause elimination for SAT and QSAT. Zbl 1336.68231
Heule, Marijn; Järvisalo, Matti; Lonsing, Florian; Seidl, Martina; Biere, Armin
18
2015
Clause elimination procedures for CNF formulas. Zbl 1306.68144
Heule, Marijn; Järvisalo, Matti; Biere, Armin
17
2010
Simulating circuit-level simplifications on CNF. Zbl 1267.94144
Järvisalo, Matti; Biere, Armin; Heule, Marijn J. H.
15
2012
Complexity-sensitive decision procedures for abstract argumentation. Zbl 1334.68206
Dvořák, Wolfgang; Järvisalo, Matti; Wallner, Johannes Peter; Woltran, Stefan
14
2014
Efficient CNF simplification based on binary implication graphs. Zbl 1330.68269
Heule, Marijn J. H.; Järvisalo, Matti; Biere, Armin
12
2011
Weak models of distributed computing, with connections to modal logic. Zbl 1322.68075
Hella, Lauri; Järvisalo, Matti; Kuusisto, Antti; Laurinharju, Juhana; Lempiäinen, Tuomo; Luosto, Kerkko; Suomela, Jukka; Virtema, Jonni
10
2015
Limitations of restricted branching in clause learning. Zbl 1192.68643
Järvisalo, Matti; Junttila, Tommi
8
2009
LMHS: a SAT-IP hybrid MaxSat solver. Zbl 1475.68449
Saikko, Paul; Berg, Jeremias; Järvisalo, Matti
7
2016
Formula preprocessing in MUS extraction. Zbl 1381.68146
Belov, Anton; Järvisalo, Matti; Marques-Silva, Joao
5
2013
Finding efficient circuits for ensemble computation. Zbl 1273.68179
Järvisalo, Matti; Kaski, Petteri; Koivisto, Mikko; Korhonen, Janne H.
5
2012
Synchronous counting and computational algorithm design. Zbl 1346.68038
Dolev, Danny; Heljanko, Keijo; Järvisalo, Matti; Korhonen, Janne H.; Lenzen, Christoph; Rybicki, Joel; Suomela, Jukka; Wieringa, Siert
5
2016
Unrestricted vs restricted cut in a tableau method for Boolean circuits. Zbl 1086.03048
Järvisalo, Matti; Junttila, Tommi; Niemelä, Ilkka
4
2005
Extended ASP tableaux and rule redundancy in normal logic programs. Zbl 1213.68178
Järvisalo, Matti; Oikarinen, Emilia
4
2007
Cautious reasoning in ASP via minimal models and unsatisfiable cores. Zbl 1451.68267
Alviano, Mario; Dodaro, Carmine; Järvisalo, Matti; Maratea, Marco; Previti, Alessandro
4
2018
Complexity results and algorithms for extension enforcement in abstract argumentation. Zbl 1418.68196
Wallner, Johannes P.; Niskanen, Andreas; Järvisalo, Matti
4
2017
Bayesian network structure learning with integer programming: polytopes, facets and complexity. Zbl 1404.68099
Cussens, James; Järvisalo, Matti; Korhonen, Janne H.; Bartlett, Mark
4
2017
A constraint optimization approach to causal discovery from subsampled time series data. Zbl 1419.68076
Hyttinen, Antti; Plis, Sergey; Järvisalo, Matti; Eberhardt, Frederick; Danks, David
4
2017
Reconstructing solutions after blocked clause elimination. Zbl 1306.68159
Järvisalo, Matti; Biere, Armin
4
2010
Weak models of distributed computing, with connections to modal logic. Zbl 1301.68120
Hella, Lauri; Järvisalo, Matti; Kuusisto, Antti; Laurinharju, Juhana; Lempiäinen, Tuomo; Luosto, Kerkko; Suomela, Jukka; Virtema, Jonni
4
2012
A module-based framework for multi-language constraint modeling. Zbl 1258.68136
Järvisalo, Matti; Oikarinen, Emilia; Janhunen, Tomi; Niemelä, Ilkka
3
2009
Max-ASP: maximum satisfiability of answer set programs. Zbl 1258.68037
Oikarinen, Emilia; Järvisalo, Matti
3
2009
SAT competition 2020. Zbl 1478.68320
Froleyks, Nils; Heule, Marijn; Iser, Markus; Järvisalo, Matti; Suda, Martin
3
2021
From structured to abstract argumentation: assumption-based acceptance via AF reasoning. Zbl 1491.68205
Lehtonen, Tuomo; Wallner, Johannes P.; Järvisalo, Matti
3
2017
Acceptance in incomplete argumentation frameworks. Zbl 07418650
Baumeister, Dorothea; Järvisalo, Matti; Neugebauer, Daniel; Niskanen, Andreas; Rothe, Jörg
3
2021
Synthesizing argumentation frameworks from examples. Zbl 1403.68272
Niskanen, Andreas; Wallner, Johannes P.; Järvisalo, Matti
3
2016
Preprocessing argumentation frameworks via replacement patterns. Zbl 07169102
Dvořák, Wolfgang; Järvisalo, Matti; Linsbichler, Thomas; Niskanen, Andreas; Woltran, Stefan
2
2019
Hard satisfiable clause sets for benchmarking equivalence reasoning techniques. Zbl 1116.68084
Haanpää, Harri; Järvisalo, Matti; Kaski, Petteri; Niemelä, Ilkka
2
2006
Synthesizing argumentation frameworks from examples. Zbl 1494.68260
Niskanen, Andreas; Wallner, Johannes P.; Järvisalo, Matti
2
2019
Cost-optimal constrained correlation clustering via weighted partial maximum satisfiability. Zbl 1404.68138
Berg, Jeremias; Järvisalo, Matti
2
2017
The effect of structural branching on the efficiency of clause learning SAT solving: An experimental study. Zbl 1162.68655
Järvisalo, Matti; Niemelä, Ilkka
2
2008
Extended ASP tableaux and rule redundancy in normal logic programs. Zbl 1156.68011
Järvisalo, Matti; Oikarinen, Emilia
2
2008
MaxSAT-based cutting planes for learning graphical models. Zbl 1459.68193
Saikko, Paul; Malone, Brandon; Järvisalo, Matti
2
2015
Pakota: a system for enforcement in abstract argumentation. Zbl 1483.68383
Niskanen, Andreas; Wallner, Johannes P.; Järvisalo, Matti
2
2016
Theory and applications of satisfiability testing – SAT 2013. 16th international conference, Helsinki, Finland, July 8–12, 2013. Proceedings. Zbl 1268.68023
1
2013
SAT-based approaches to adjusting, repairing, and computing largest extensions of argumentation frameworks. Zbl 1430.68311
Lehtonen, Tuomo; Niskanen, Andreas; Järvisalo, Matti
1
2018
Solving graph problems via potential maximal cliques: an experimental evaluation of the Bouchitté-Todinca algorithm. Zbl 07043418
Korhonen, Tuukka; Berg, Jeremias; Järvisalo, Matti
1
2019
Limitations of restricted branching in clause learning. Zbl 1145.68517
Järvisalo, Matti; Junttila, Tommi
1
2007
SAT competition 2020. Zbl 1478.68320
Froleyks, Nils; Heule, Marijn; Iser, Markus; Järvisalo, Matti; Suda, Martin
3
2021
Acceptance in incomplete argumentation frameworks. Zbl 07418650
Baumeister, Dorothea; Järvisalo, Matti; Neugebauer, Daniel; Niskanen, Andreas; Rothe, Jörg
3
2021
Preprocessing argumentation frameworks via replacement patterns. Zbl 07169102
Dvořák, Wolfgang; Järvisalo, Matti; Linsbichler, Thomas; Niskanen, Andreas; Woltran, Stefan
2
2019
Synthesizing argumentation frameworks from examples. Zbl 1494.68260
Niskanen, Andreas; Wallner, Johannes P.; Järvisalo, Matti
2
2019
Solving graph problems via potential maximal cliques: an experimental evaluation of the Bouchitté-Todinca algorithm. Zbl 07043418
Korhonen, Tuukka; Berg, Jeremias; Järvisalo, Matti
1
2019
Cautious reasoning in ASP via minimal models and unsatisfiable cores. Zbl 1451.68267
Alviano, Mario; Dodaro, Carmine; Järvisalo, Matti; Maratea, Marco; Previti, Alessandro
4
2018
SAT-based approaches to adjusting, repairing, and computing largest extensions of argumentation frameworks. Zbl 1430.68311
Lehtonen, Tuomo; Niskanen, Andreas; Järvisalo, Matti
1
2018
Complexity results and algorithms for extension enforcement in abstract argumentation. Zbl 1418.68196
Wallner, Johannes P.; Niskanen, Andreas; Järvisalo, Matti
4
2017
Bayesian network structure learning with integer programming: polytopes, facets and complexity. Zbl 1404.68099
Cussens, James; Järvisalo, Matti; Korhonen, Janne H.; Bartlett, Mark
4
2017
A constraint optimization approach to causal discovery from subsampled time series data. Zbl 1419.68076
Hyttinen, Antti; Plis, Sergey; Järvisalo, Matti; Eberhardt, Frederick; Danks, David
4
2017
From structured to abstract argumentation: assumption-based acceptance via AF reasoning. Zbl 1491.68205
Lehtonen, Tuomo; Wallner, Johannes P.; Järvisalo, Matti
3
2017
Cost-optimal constrained correlation clustering via weighted partial maximum satisfiability. Zbl 1404.68138
Berg, Jeremias; Järvisalo, Matti
2
2017
LMHS: a SAT-IP hybrid MaxSat solver. Zbl 1475.68449
Saikko, Paul; Berg, Jeremias; Järvisalo, Matti
7
2016
Synchronous counting and computational algorithm design. Zbl 1346.68038
Dolev, Danny; Heljanko, Keijo; Järvisalo, Matti; Korhonen, Janne H.; Lenzen, Christoph; Rybicki, Joel; Suomela, Jukka; Wieringa, Siert
5
2016
Synthesizing argumentation frameworks from examples. Zbl 1403.68272
Niskanen, Andreas; Wallner, Johannes P.; Järvisalo, Matti
3
2016
Pakota: a system for enforcement in abstract argumentation. Zbl 1483.68383
Niskanen, Andreas; Wallner, Johannes P.; Järvisalo, Matti
2
2016
Clause elimination for SAT and QSAT. Zbl 1336.68231
Heule, Marijn; Järvisalo, Matti; Lonsing, Florian; Seidl, Martina; Biere, Armin
18
2015
Weak models of distributed computing, with connections to modal logic. Zbl 1322.68075
Hella, Lauri; Järvisalo, Matti; Kuusisto, Antti; Laurinharju, Juhana; Lempiäinen, Tuomo; Luosto, Kerkko; Suomela, Jukka; Virtema, Jonni
10
2015
MaxSAT-based cutting planes for learning graphical models. Zbl 1459.68193
Saikko, Paul; Malone, Brandon; Järvisalo, Matti
2
2015
Complexity-sensitive decision procedures for abstract argumentation. Zbl 1334.68206
Dvořák, Wolfgang; Järvisalo, Matti; Wallner, Johannes Peter; Woltran, Stefan
14
2014
Formula preprocessing in MUS extraction. Zbl 1381.68146
Belov, Anton; Järvisalo, Matti; Marques-Silva, Joao
5
2013
Theory and applications of satisfiability testing – SAT 2013. 16th international conference, Helsinki, Finland, July 8–12, 2013. Proceedings. Zbl 1268.68023
1
2013
Inprocessing rules. Zbl 1358.68256
Järvisalo, Matti; Heule, Marijn J. H.; Biere, Armin
38
2012
Simulating circuit-level simplifications on CNF. Zbl 1267.94144
Järvisalo, Matti; Biere, Armin; Heule, Marijn J. H.
15
2012
Finding efficient circuits for ensemble computation. Zbl 1273.68179
Järvisalo, Matti; Kaski, Petteri; Koivisto, Mikko; Korhonen, Janne H.
5
2012
Weak models of distributed computing, with connections to modal logic. Zbl 1301.68120
Hella, Lauri; Järvisalo, Matti; Kuusisto, Antti; Laurinharju, Juhana; Lempiäinen, Tuomo; Luosto, Kerkko; Suomela, Jukka; Virtema, Jonni
4
2012
Efficient CNF simplification based on binary implication graphs. Zbl 1330.68269
Heule, Marijn J. H.; Järvisalo, Matti; Biere, Armin
12
2011
Blocked clause elimination. Zbl 1284.03208
Järvisalo, Matti; Biere, Armin; Heule, Marijn
30
2010
Clause elimination procedures for CNF formulas. Zbl 1306.68144
Heule, Marijn; Järvisalo, Matti; Biere, Armin
17
2010
Reconstructing solutions after blocked clause elimination. Zbl 1306.68159
Järvisalo, Matti; Biere, Armin
4
2010
Limitations of restricted branching in clause learning. Zbl 1192.68643
Järvisalo, Matti; Junttila, Tommi
8
2009
A module-based framework for multi-language constraint modeling. Zbl 1258.68136
Järvisalo, Matti; Oikarinen, Emilia; Janhunen, Tomi; Niemelä, Ilkka
3
2009
Max-ASP: maximum satisfiability of answer set programs. Zbl 1258.68037
Oikarinen, Emilia; Järvisalo, Matti
3
2009
The effect of structural branching on the efficiency of clause learning SAT solving: An experimental study. Zbl 1162.68655
Järvisalo, Matti; Niemelä, Ilkka
2
2008
Extended ASP tableaux and rule redundancy in normal logic programs. Zbl 1156.68011
Järvisalo, Matti; Oikarinen, Emilia
2
2008
Extended ASP tableaux and rule redundancy in normal logic programs. Zbl 1213.68178
Järvisalo, Matti; Oikarinen, Emilia
4
2007
Limitations of restricted branching in clause learning. Zbl 1145.68517
Järvisalo, Matti; Junttila, Tommi
1
2007
Hard satisfiable clause sets for benchmarking equivalence reasoning techniques. Zbl 1116.68084
Haanpää, Harri; Järvisalo, Matti; Kaski, Petteri; Niemelä, Ilkka
2
2006
Unrestricted vs restricted cut in a tableau method for Boolean circuits. Zbl 1086.03048
Järvisalo, Matti; Junttila, Tommi; Niemelä, Ilkka
4
2005
all top 5

Cited by 313 Authors

16 Biere, Armin
16 Heule, Marijn J. H.
13 Järvisalo, Matti
6 Marques-Silva, João P.
6 Seidl, Martina
6 Woltran, Stefan
5 Gaggl, Sarah Alice
5 Kiesl, Benjamin
5 Linsbichler, Thomas
5 Lonsing, Florian
5 Maratea, Marco
5 Suomela, Jukka
5 Wallner, Johannes Peter
4 Lagniez, Jean-Marie
4 Reiter, Fabian
3 Alviano, Mario
3 Balyo, Tomáš
3 Dvořák, Wolfgang
3 Egly, Uwe
3 Giráldez-Cru, Jesús
3 Giunchiglia, Enrico
3 Ignatyev, Alexey A.
3 Iser, Markus
3 Janhunen, Tomi
3 Janota, Mikoláš
3 Kochemazov, Stepan
3 Kuusisto, Antti
3 Lenzen, Christoph
3 Levy, Jordi
3 Manthey, Norbert
3 Rothe, Jörg-Matthias
3 Rybicki, Joel
3 Saïs, Lakhdar
3 Semenov, Aleksandr Anatol’evich
3 Sinz, Carsten
2 Amendola, Giovanni
2 Ansótegui, Carlos
2 Audemard, Gilles
2 Baek, Seulkee
2 Barnett, Lee A.
2 Baumann, Ringo
2 Baumeister, Dorothea
2 Becker, Bernd
2 Berg, Jeremias
2 Brakensiek, Joshua
2 Brewka, Gerhard
2 Cussens, James
2 Danks, David
2 Diller, Martin
2 Dodaro, Carmine
2 Eiter, Thomas
2 Fraigniaud, Pierre
2 Fröhlich, Andreas M.
2 Gebser, Martin
2 Hamadi, Youssef
2 Hansen, Niels Richard
2 Haws, David C.
2 Hirvonen, Juho
2 Hyttinen, Antti
2 Jabbour, Said
2 Kaski, Petteri
2 Kaufmann, Benjamin
2 Korhonen, Janne H.
2 Korovin, Konstantin
2 Leone, Nicola
2 Lindauer, Marius
2 Lynce, Inês
2 Mackey, John
2 Marek, V. Wiktor
2 Marquis, Pierre
2 Martins, Ruben
2 Mazure, Bertrand
2 Mogensen, Søren Wengel
2 Morgado, António
2 Myreen, Magnus O.
2 Narváez, David E.
2 Neugebauer, Daniel
2 Niskanen, Andreas
2 Philipp, Tobias
2 Plis, Sergey
2 Rebola-Pardo, Adrián
2 Saribatur, Zeynep Gozen
2 Schaub, Torsten H.
2 Scholl, Christoph
2 Simon, Laurent S. R.
2 Strass, Hannes
2 Studený, Milan
2 Suda, Martin
2 Tompits, Hans
2 Truszczyński, Mirosław
2 Wernhard, Christoph
2 Wimmer, Ralf D.
2 Xu, Yang
2 Zaikin, Oleg Sergeevich
1 Afek, Yehuda
1 Akgün, Özgür
1 Arunachalam, Srinivasan
1 Balabanov, Valeriy
1 Balint, Adrian
1 Baryannis, George
...and 213 more Authors

Citations by Year