×

zbMATH — the first resource for mathematics

Järvisalo, Matti

Compute Distance To:
Author ID: jarvisalo.matti Recent zbMATH articles by "Järvisalo, Matti"
Published as: Järvisalo, Matti
External Links: ORCID
Documents Indexed: 49 Publications since 2005, including 1 Book

Publications by Year

Citations contained in zbMATH Open

34 Publications have been cited 184 times in 119 Documents Cited by Year
Inprocessing rules. Zbl 1358.68256
Järvisalo, Matti; Heule, Marijn J. H.; Biere, Armin
26
2012
Blocked clause elimination. Zbl 1284.03208
Järvisalo, Matti; Biere, Armin; Heule, Marijn
25
2010
Complexity-sensitive decision procedures for abstract argumentation. Zbl 1334.68206
Dvořák, Wolfgang; Järvisalo, Matti; Wallner, Johannes Peter; Woltran, Stefan
15
2014
Clause elimination procedures for CNF formulas. Zbl 1306.68144
Heule, Marijn; Järvisalo, Matti; Biere, Armin
14
2010
Simulating circuit-level simplifications on CNF. Zbl 1267.94144
Järvisalo, Matti; Biere, Armin; Heule, Marijn J. H.
12
2012
Clause elimination for SAT and QSAT. Zbl 1336.68231
Heule, Marijn; Järvisalo, Matti; Lonsing, Florian; Seidl, Martina; Biere, Armin
11
2015
Efficient CNF simplification based on binary implication graphs. Zbl 1330.68269
Heule, Marijn J. H.; Järvisalo, Matti; Biere, Armin
11
2011
LMHS: A SAT-IP hybrid maxsat solver. Zbl 06623534
Saikko, Paul; Berg, Jeremias; Järvisalo, Matti
5
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
Formula preprocessing in MUS extraction. Zbl 1381.68146
Belov, Anton; Järvisalo, Matti; Marques-Silva, Joao
5
2013
Limitations of restricted branching in clause learning. Zbl 1192.68643
Järvisalo, Matti; Junttila, Tommi
5
2009
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
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
4
2015
Extended ASP tableaux and rule redundancy in normal logic programs. Zbl 1213.68178
Järvisalo, Matti; Oikarinen, Emilia
4
2007
Finding efficient circuits for ensemble computation. Zbl 1273.68179
Järvisalo, Matti; Kaski, Petteri; Koivisto, Mikko; Korhonen, Janne H.
3
2012
Reconstructing solutions after blocked clause elimination. Zbl 1306.68159
Järvisalo, Matti; Biere, Armin
3
2010
Max-ASP: maximum satisfiability of answer set programs. Zbl 1258.68037
Oikarinen, Emilia; Järvisalo, Matti
3
2009
A module-based framework for multi-language constraint modeling. Zbl 1258.68136
Järvisalo, Matti; Oikarinen, Emilia; Janhunen, Tomi; Niemelä, Ilkka
3
2009
Unrestricted vs restricted cut in a tableau method for Boolean circuits. Zbl 1086.03048
Järvisalo, Matti; Junttila, Tommi; Niemelä, Ilkka
3
2005
Cautious reasoning in ASP via minimal models and unsatisfiable cores. Zbl 1451.68267
Alviano, Mario; Dodaro, Carmine; Järvisalo, Matti; Maratea, Marco; Previti, Alessandro
2
2018
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
2
2017
Complexity results and algorithms for extension enforcement in abstract argumentation. Zbl 1418.68196
Wallner, Johannes P.; Niskanen, Andreas; Järvisalo, Matti
2
2017
Synthesizing argumentation frameworks from examples. Zbl 1403.68272
Niskanen, Andreas; Wallner, Johannes P.; Järvisalo, Matti
2
2016
Pakota: a system for enforcement in abstract argumentation. Zbl 06658173
Niskanen, Andreas; Wallner, Johannes P.; Järvisalo, Matti
2
2016
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
2
2012
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
Hard satisfiable clause sets for benchmarking equivalence reasoning techniques. Zbl 1116.68084
Haanpää, Harri; Järvisalo, Matti; Kaski, Petteri; Niemelä, Ilkka
2
2006
From structured to abstract argumentation: assumption-based acceptance via AF reasoning. Zbl 06769586
Lehtonen, Tuomo; Wallner, Johannes P.; Järvisalo, Matti
1
2017
Cost-optimal constrained correlation clustering via weighted partial maximum satisfiability. Zbl 1404.68138
Berg, Jeremias; Järvisalo, Matti
1
2017
Separating OR, SUM, and XOR circuits. Zbl 1338.68102
Find, Magnus; Göös, Mika; Järvisalo, Matti; Kaski, Petteri; Koivisto, Mikko; Korhonen, Janne H.
1
2016
MaxSAT-based cutting planes for learning graphical models. Zbl 1459.68193
Saikko, Paul; Malone, Brandon; Järvisalo, Matti
1
2015
Theory and applications of satisfiability testing – SAT 2013. 16th international conference, Helsinki, Finland, July 8–12, 2013. Proceedings. Zbl 1268.68023
Järvisalo, Matti (ed.); Van Gelder, Allen (ed.)
1
2013
Extended ASP tableaux and rule redundancy in normal logic programs. Zbl 1156.68011
Järvisalo, Matti; Oikarinen, Emilia
1
2008
Limitations of restricted branching in clause learning. Zbl 1145.68517
Järvisalo, Matti; Junttila, Tommi
1
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
2
2018
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
2
2017
Complexity results and algorithms for extension enforcement in abstract argumentation. Zbl 1418.68196
Wallner, Johannes P.; Niskanen, Andreas; Järvisalo, Matti
2
2017
From structured to abstract argumentation: assumption-based acceptance via AF reasoning. Zbl 06769586
Lehtonen, Tuomo; Wallner, Johannes P.; Järvisalo, Matti
1
2017
Cost-optimal constrained correlation clustering via weighted partial maximum satisfiability. Zbl 1404.68138
Berg, Jeremias; Järvisalo, Matti
1
2017
LMHS: A SAT-IP hybrid maxsat solver. Zbl 06623534
Saikko, Paul; Berg, Jeremias; Järvisalo, Matti
5
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
2
2016
Pakota: a system for enforcement in abstract argumentation. Zbl 06658173
Niskanen, Andreas; Wallner, Johannes P.; Järvisalo, Matti
2
2016
Separating OR, SUM, and XOR circuits. Zbl 1338.68102
Find, Magnus; Göös, Mika; Järvisalo, Matti; Kaski, Petteri; Koivisto, Mikko; Korhonen, Janne H.
1
2016
Clause elimination for SAT and QSAT. Zbl 1336.68231
Heule, Marijn; Järvisalo, Matti; Lonsing, Florian; Seidl, Martina; Biere, Armin
11
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
4
2015
MaxSAT-based cutting planes for learning graphical models. Zbl 1459.68193
Saikko, Paul; Malone, Brandon; Järvisalo, Matti
1
2015
Complexity-sensitive decision procedures for abstract argumentation. Zbl 1334.68206
Dvořák, Wolfgang; Järvisalo, Matti; Wallner, Johannes Peter; Woltran, Stefan
15
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
Järvisalo, Matti (ed.); Van Gelder, Allen (ed.)
1
2013
Inprocessing rules. Zbl 1358.68256
Järvisalo, Matti; Heule, Marijn J. H.; Biere, Armin
26
2012
Simulating circuit-level simplifications on CNF. Zbl 1267.94144
Järvisalo, Matti; Biere, Armin; Heule, Marijn J. H.
12
2012
Finding efficient circuits for ensemble computation. Zbl 1273.68179
Järvisalo, Matti; Kaski, Petteri; Koivisto, Mikko; Korhonen, Janne H.
3
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
2
2012
Efficient CNF simplification based on binary implication graphs. Zbl 1330.68269
Heule, Marijn J. H.; Järvisalo, Matti; Biere, Armin
11
2011
Blocked clause elimination. Zbl 1284.03208
Järvisalo, Matti; Biere, Armin; Heule, Marijn
25
2010
Clause elimination procedures for CNF formulas. Zbl 1306.68144
Heule, Marijn; Järvisalo, Matti; Biere, Armin
14
2010
Reconstructing solutions after blocked clause elimination. Zbl 1306.68159
Järvisalo, Matti; Biere, Armin
3
2010
Limitations of restricted branching in clause learning. Zbl 1192.68643
Järvisalo, Matti; Junttila, Tommi
5
2009
Max-ASP: maximum satisfiability of answer set programs. Zbl 1258.68037
Oikarinen, Emilia; Järvisalo, Matti
3
2009
A module-based framework for multi-language constraint modeling. Zbl 1258.68136
Järvisalo, Matti; Oikarinen, Emilia; Janhunen, Tomi; Niemelä, Ilkka
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
1
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
3
2005
all top 5

Cited by 249 Authors

13 Biere, Armin
12 Järvisalo, Matti
8 Heule, Marijn J. H.
6 Wallner, Johannes Peter
6 Woltran, Stefan
5 Gaggl, Sarah Alice
5 Kiesl, Benjamin
5 Maratea, Marco
5 Marques-Silva, João P.
5 Seidl, Martina
5 Suomela, Jukka
4 Dvořák, Wolfgang
4 Lagniez, Jean-Marie
4 Linsbichler, Thomas
4 Lonsing, Florian
3 Balyo, Tomáš
3 Giunchiglia, Enrico
3 Janota, Mikoláš
3 Lenzen, Christoph
3 Manthey, Norbert
3 Rybicki, Joel
3 Saïs, Lakhdar
3 Sinz, Carsten
2 Alviano, Mario
2 Amendola, Giovanni
2 Ansótegui, Carlos
2 Audemard, Gilles
2 Berg, Jeremias
2 Cussens, James
2 Dodaro, Carmine
2 Egly, Uwe
2 Find, Magnus Gausdal
2 Fraigniaud, Pierre
2 Gebser, Martin
2 Giráldez-Cru, Jesús
2 Hamadi, Youssef
2 Haws, David C.
2 Hirvonen, Juho
2 Hyttinen, Antti
2 Iser, Markus
2 Jabbour, Said
2 Janhunen, Tomi
2 Kaufmann, Benjamin
2 Korhonen, Janne H.
2 Korovin, Konstantin
2 Kuusisto, Antti
2 Leone, Nicola
2 Levy, Jordi
2 Lindauer, Marius
2 Lynce, Inês
2 Marek, V. Wiktor
2 Marquis, Pierre
2 Mazure, Bertrand
2 Philipp, Tobias
2 Rebola-Pardo, Adrián
2 Schaub, Torsten H.
2 Semenov, Aleksandr Anatol’evich
2 Simon, Laurent S. R.
2 Strass, Hannes
2 Studený, Milan
2 Tompits, Hans
2 Truszczyński, Mirosław
2 Xu, Yang
1 Akgün, Özgür
1 Balabanov, Valeriy
1 Balint, Adrian
1 Baumann, Ringo
1 Baumeister, Dorothea
1 Bayless, Sam
1 Becker, Bernd
1 Béjar, Ramón
1 Belov, Anton
1 Berthet, Quentin
1 Boczkowski, Lucas
1 Bollig, Benedikt
1 Bonakdarpour, Borzoo
1 Boyar, Joan F.
1 Bueno, Marcos L. P.
1 Cabodi, Gianpiero
1 Çakmak, Duygu
1 Camurati, P. E.
1 Cerutti, Federico
1 Charwat, Günther
1 Chen, Shuwei
1 Clarke, Edmund Melson jun.
1 Corani, Giorgio
1 Cropper, Andrew
1 Cruz-Filipe, Luís
1 Danks, David
1 Davis, Jared
1 de Campos, Cassio Polpo
1 Di Rosa, Emanuele
1 Diller, Martin
1 Dolev, Danny
1 Doutre, Sylvie
1 Dueck, Gerhard W.
1 Dyrkolbotn, Sjur Kristoffer
1 Eberhardt, Frederick
1 Erdem, Esra
1 Erdoğan, Halit
...and 149 more Authors

Citations by Year