×
Compute Distance To:
Author ID: biere.armin Recent zbMATH articles by "Biere, Armin"
Published as: Biere, Armin; Biere, A.
External Links: MGP · ORCID · dblp

Publications by Year

Citations contained in zbMATH Open

71 Publications have been cited 828 times in 469 Documents Cited by Year
Handbook of satisfiability. Zbl 1183.68568
160
2009
Effective preprocessing in SAT through variable and clause elimination. Zbl 1128.68463
Eén, Niklas; Biere, Armin
82
2005
Bounded model checking using satisfiability solving. Zbl 0985.68038
Clarke, Edmund; Biere, Armin; Raimi, Richard; Zhu, Yunshan
53
2001
PicoSAT essentials. Zbl 1159.68403
Biere, Armin
48
2008
Inprocessing rules. Zbl 1358.68256
Järvisalo, Matti; Heule, Marijn J. H.; Biere, Armin
34
2012
Resolve and expand. Zbl 1122.68585
Biere, Armin
30
2005
Blocked clause elimination. Zbl 1284.03208
Järvisalo, Matti; Biere, Armin; Heule, Marijn
28
2010
Blocked clause elimination for QBF. Zbl 1341.68181
Biere, Armin; Lonsing, Florian; Seidl, Martina
24
2011
Verifying safety properties of a PowerPC\(^{TM}\) microprocessor using symbolic model checking without BDDs. Zbl 1046.68578
Biere, Armin; Clarke, Edmund; Raimi, Richard; Zhu, Yunshan
23
1999
Linear encodings of bounded LTL model checking. Zbl 1127.68057
Biere, Armin; Heljanko, Keijo; Junttila, Tommi; Latvala, Timo; Schuppan, Viktor
16
2006
Clause elimination for SAT and QSAT. Zbl 1336.68231
Heule, Marijn; Järvisalo, Matti; Lonsing, Florian; Seidl, Martina; Biere, Armin
15
2015
A unified proof system for QBF preprocessing. Zbl 1409.68257
Heule, Marijn J. H.; Seidl, Martina; Biere, Armin
15
2014
Clause elimination procedures for CNF formulas. Zbl 1306.68144
Heule, Marijn; Järvisalo, Matti; Biere, Armin
15
2010
Extended resolution proofs for conjoining BDDs. Zbl 1185.68635
Sinz, Carsten; Biere, Armin
14
2006
Automated testing and debugging of SAT and QBF solvers. Zbl 1306.68155
Brummayer, Robert; Lonsing, Florian; Biere, Armin
13
2010
Simulating circuit-level simplifications on CNF. Zbl 1267.94144
Järvisalo, Matti; Biere, Armin; Heule, Marijn J. H.
13
2012
Enhancing search-based QBF solving by dynamic blocked clause elimination. Zbl 1471.68251
Lonsing, Florian; Bacchus, Fahiem; Biere, Armin; Egly, Uwe; Seidl, Martina
12
2015
A first step towards a unified proof checker for QBF. Zbl 1214.68334
Jussila, Toni; Biere, Armin; Sinz, Carsten; Kröning, Daniel; Wintersteiger, Christoph M.
12
2007
Adaptive restart strategies for conflict driven SAT solvers. Zbl 1138.68533
Biere, Armin
12
2008
Nenofex: Expanding NNF for QBF solving. Zbl 1138.68546
Lonsing, Florian; Biere, Armin
12
2008
Efficient CNF simplification based on binary implication graphs. Zbl 1330.68269
Heule, Marijn J. H.; Järvisalo, Matti; Biere, Armin
12
2011
Integrating dependency schemes in search-based QBF solvers. Zbl 1306.68165
Lonsing, Florian; Biere, Armin
11
2010
Lemmas on demand for the extensional theory of arrays. Zbl 1187.68168
Brummayer, Robert; Biere, Armin
10
2009
Extended resolution proofs for symbolic SAT solving with quantification. Zbl 1187.68550
Jussila, Toni; Sinz, Carsten; Biere, Armin
9
2006
Factoring out assumptions to speed up MUS extraction. Zbl 1390.68601
Lagniez, Jean-Marie; Biere, Armin
9
2013
Compressing BMC encodings with QBF. Zbl 1277.68136
Jussila, Toni; Biere, Armin
8
2007
SAT race 2015. Zbl 1392.68381
Balyo, Tomáš; Biere, Armin; Iser, Markus; Sinz, Carsten
7
2016
Liveness checking as safety checking for infinite state spaces. Zbl 1273.68240
Schuppan, Viktor; Biere, Armin
7
2006
Super-blocked clauses. Zbl 1475.68347
Kiesl, Benjamin; Seidl, Martina; Tompits, Hans; Biere, Armin
6
2016
What a difference a variable makes. Zbl 1423.68419
Heule, Marijn J. H.; Biere, Armin
6
2018
Combining decision diagrams and SAT procedures for efficient symbolic model checking. Zbl 0974.68526
Williams, Poul F.; Biere, Armin; Clarke, Edmund M.; Gupta, Anubhav
5
2000
Complexity of fixed-size bit-vector logics. Zbl 1357.68086
Kovásznai, Gergely; Fröhlich, Andreas; Biere, Armin
5
2016
Short proofs without new variables. Zbl 1468.03010
Heule, Marijn J. H.; Kiesl, Benjamin; Biere, Armin
5
2017
Failed literal detection for QBF. Zbl 1330.68118
Lonsing, Florian; Biere, Armin
5
2011
Blocked clause decomposition. Zbl 1407.68451
Heule, Marijn J. H.; Biere, Armin
5
2013
Evaluating CDCL variable scoring schemes. Zbl 1471.68238
Biere, Armin; Fröhlich, Andreas
4
2015
Simple bounded LTL model checking. Zbl 1117.68432
Latvala, Timo; Biere, Armin; Heljanko, Keijo; Junttila, Tommi
4
2004
A satisfiability procedure for quantified Boolean formulae. Zbl 1029.68082
Plaisted, David A.; Biere, Armin; Zhu, Yunshan
4
2003
Shortest counterexamples for symbolic model checking of LTL with past. Zbl 1087.68060
Schuppan, Viktor; Biere, Armin
4
2005
Blocked clauses in first-order logic. Zbl 1403.68240
Kiesl, Benjamin; Suda, Martin; Seidl, Martina; Tompits, Hans; Biere, Armin
4
2017
Incremental inprocessing in SAT solving. Zbl 1441.68224
Fazekas, Katalin; Biere, Armin; Scholl, Christoph
4
2019
Strong extension-free proof systems. Zbl 1468.03011
Heule, Marijn J. H.; Kiesl, Benjamin; Biere, Armin
4
2020
Reconstructing solutions after blocked clause elimination. Zbl 1306.68159
Järvisalo, Matti; Biere, Armin
4
2010
More on the complexity of quantifier-free fixed-size bit-vector logics with binary encoding. Zbl 1345.68172
Fröhlich, Andreas; Kovásznai, Gergely; Biere, Armin
4
2013
Efficiently representing existential dependency sets for expansion-based QBF solvers. Zbl 1291.68358
Lonsing, Florian; Biere, Armin
4
2009
Propagation based local search for bit-precise reasoning. Zbl 1377.68134
Niemetz, Aina; Preiner, Mathias; Biere, Armin
4
2017
Compositional propositional proofs. Zbl 1471.68310
Heule, Marijn J. H.; Biere, Armin
3
2015
Detecting cardinality constraints in CNF. Zbl 1423.68437
Biere, Armin; Le Berre, Daniel; Lonca, Emmanuel; Manthey, Norbert
3
2014
Everything you always wanted to know about blocked sets (but were afraid to ask). Zbl 1423.68435
Balyo, Tomáš; Fröhlich, Andreas; Heule, Marijn J. H.; Biere, Armin
3
2014
SAT-based model checking. Zbl 1392.68232
Biere, Armin; Kröning, Daniel
3
2018
Solution validation and extraction for QBF preprocessing. Zbl 1409.68258
Heule, Marijn J. H.; Seidl, Martina; Biere, Armin
3
2017
Proofs for satisfiability problems. Zbl 1431.03024
Heule, Marijn J. H.; Biere, Armin
3
2015
Theory and applications of satisfiability testing – SAT 2006. 9th international conference, Seattle, WA, USA, August 12–15, 2006. Proceedings. Zbl 1114.68003
2
2006
Decomposing SAT problems into connected components. Zbl 1116.68079
Biere, Armin; Sinz, Carsten
2
2006
Tutorial on model checking: Modelling and verification in computer science. Zbl 1171.68546
Biere, Armin
2
2008
Backing backtracking. Zbl 1441.68231
Möhle, Sibylle; Biere, Armin
2
2019
Handbook of satisfiability. In 2 parts. 2nd updated and revised edition. Zbl 1456.68001
2
2021
Counterexample-guided model synthesis. Zbl 1452.68122
Preiner, Mathias; Niemetz, Aina; Biere, Armin
2
2017
Improving implementation of SLS solvers for SAT and new heuristics for \(k\)-SAT with long clauses. Zbl 1423.68434
Balint, Adrian; Biere, Armin; Fröhlich, Andreas; Schöning, Uwe
1
2014
Simple is better: Efficient bounded model checking for past LTL. Zbl 1111.68510
Latvala, Timo; Biere, Armin; Heljanko, Keijo; Junttila, Tommi
1
2005
A compact representation for syntactic dependencies in QBFs. Zbl 1247.68238
Lonsing, Florian; Biere, Armin
1
2009
Verifying the IEEE 1394 fireWire tree identify protocol with SMV. Zbl 1029.68021
Schuppan, Viktor; Biere, Armin
1
2002
Verification of out-of-order processor designs using model Checking and a light-weight completion function. Zbl 1014.68147
Berezin, Sergey; Clarke, Edmund; Biere, Armin; Zhu, Yunshan
1
2002
JNuke: Efficient dynamic analysis for Java. Zbl 1103.68602
Artho, Cyrille; Schuppan, Viktor; Biere, Armin; Eugster, Pascal; Baur, Marcel; Zweimüller, Boris
1
2004
Truth assignments as conditional autarkies. Zbl 1437.68132
Kiesl, Benjamin; Heule, Marijn J. H.; Biere, Armin
1
2019
Incremental column-wise verification of arithmetic circuits using computer algebra. Zbl 07307313
Kaufmann, Daniela; Biere, Armin; Kauers, Manuel
1
2020
Distributed cube and conquer with Paracooba. Zbl 07331016
Heisinger, Maximilian; Fleury, Mathias; Biere, Armin
1
2020
Precise and complete propagation based local search for satisfiability modulo theories. Zbl 1411.68070
Niemetz, Aina; Preiner, Mathias; Biere, Armin
1
2016
On the complexity of symbolic verification and decision problems in bit-vector logic. Zbl 1426.68127
Kovásznai, Gergely; Veith, Helmut; Fröhlich, Andreas; Biere, Armin
1
2014
bv2epr: a tool for polynomially translating quantifier-free bit-vector formulas into EPR. Zbl 1382.68217
Kovásznai, Gergely; Fröhlich, Andreas; Biere, Armin
1
2013
Non-clausal redundancy properties. Zbl 07437083
Barnett, Lee A.; Biere, Armin
1
2021
Handbook of satisfiability. In 2 parts. 2nd updated and revised edition. Zbl 1456.68001
2
2021
Non-clausal redundancy properties. Zbl 07437083
Barnett, Lee A.; Biere, Armin
1
2021
Strong extension-free proof systems. Zbl 1468.03011
Heule, Marijn J. H.; Kiesl, Benjamin; Biere, Armin
4
2020
Incremental column-wise verification of arithmetic circuits using computer algebra. Zbl 07307313
Kaufmann, Daniela; Biere, Armin; Kauers, Manuel
1
2020
Distributed cube and conquer with Paracooba. Zbl 07331016
Heisinger, Maximilian; Fleury, Mathias; Biere, Armin
1
2020
Incremental inprocessing in SAT solving. Zbl 1441.68224
Fazekas, Katalin; Biere, Armin; Scholl, Christoph
4
2019
Backing backtracking. Zbl 1441.68231
Möhle, Sibylle; Biere, Armin
2
2019
Truth assignments as conditional autarkies. Zbl 1437.68132
Kiesl, Benjamin; Heule, Marijn J. H.; Biere, Armin
1
2019
What a difference a variable makes. Zbl 1423.68419
Heule, Marijn J. H.; Biere, Armin
6
2018
SAT-based model checking. Zbl 1392.68232
Biere, Armin; Kröning, Daniel
3
2018
Short proofs without new variables. Zbl 1468.03010
Heule, Marijn J. H.; Kiesl, Benjamin; Biere, Armin
5
2017
Blocked clauses in first-order logic. Zbl 1403.68240
Kiesl, Benjamin; Suda, Martin; Seidl, Martina; Tompits, Hans; Biere, Armin
4
2017
Propagation based local search for bit-precise reasoning. Zbl 1377.68134
Niemetz, Aina; Preiner, Mathias; Biere, Armin
4
2017
Solution validation and extraction for QBF preprocessing. Zbl 1409.68258
Heule, Marijn J. H.; Seidl, Martina; Biere, Armin
3
2017
Counterexample-guided model synthesis. Zbl 1452.68122
Preiner, Mathias; Niemetz, Aina; Biere, Armin
2
2017
SAT race 2015. Zbl 1392.68381
Balyo, Tomáš; Biere, Armin; Iser, Markus; Sinz, Carsten
7
2016
Super-blocked clauses. Zbl 1475.68347
Kiesl, Benjamin; Seidl, Martina; Tompits, Hans; Biere, Armin
6
2016
Complexity of fixed-size bit-vector logics. Zbl 1357.68086
Kovásznai, Gergely; Fröhlich, Andreas; Biere, Armin
5
2016
Precise and complete propagation based local search for satisfiability modulo theories. Zbl 1411.68070
Niemetz, Aina; Preiner, Mathias; Biere, Armin
1
2016
Clause elimination for SAT and QSAT. Zbl 1336.68231
Heule, Marijn; Järvisalo, Matti; Lonsing, Florian; Seidl, Martina; Biere, Armin
15
2015
Enhancing search-based QBF solving by dynamic blocked clause elimination. Zbl 1471.68251
Lonsing, Florian; Bacchus, Fahiem; Biere, Armin; Egly, Uwe; Seidl, Martina
12
2015
Evaluating CDCL variable scoring schemes. Zbl 1471.68238
Biere, Armin; Fröhlich, Andreas
4
2015
Compositional propositional proofs. Zbl 1471.68310
Heule, Marijn J. H.; Biere, Armin
3
2015
Proofs for satisfiability problems. Zbl 1431.03024
Heule, Marijn J. H.; Biere, Armin
3
2015
A unified proof system for QBF preprocessing. Zbl 1409.68257
Heule, Marijn J. H.; Seidl, Martina; Biere, Armin
15
2014
Detecting cardinality constraints in CNF. Zbl 1423.68437
Biere, Armin; Le Berre, Daniel; Lonca, Emmanuel; Manthey, Norbert
3
2014
Everything you always wanted to know about blocked sets (but were afraid to ask). Zbl 1423.68435
Balyo, Tomáš; Fröhlich, Andreas; Heule, Marijn J. H.; Biere, Armin
3
2014
Improving implementation of SLS solvers for SAT and new heuristics for \(k\)-SAT with long clauses. Zbl 1423.68434
Balint, Adrian; Biere, Armin; Fröhlich, Andreas; Schöning, Uwe
1
2014
On the complexity of symbolic verification and decision problems in bit-vector logic. Zbl 1426.68127
Kovásznai, Gergely; Veith, Helmut; Fröhlich, Andreas; Biere, Armin
1
2014
Factoring out assumptions to speed up MUS extraction. Zbl 1390.68601
Lagniez, Jean-Marie; Biere, Armin
9
2013
Blocked clause decomposition. Zbl 1407.68451
Heule, Marijn J. H.; Biere, Armin
5
2013
More on the complexity of quantifier-free fixed-size bit-vector logics with binary encoding. Zbl 1345.68172
Fröhlich, Andreas; Kovásznai, Gergely; Biere, Armin
4
2013
bv2epr: a tool for polynomially translating quantifier-free bit-vector formulas into EPR. Zbl 1382.68217
Kovásznai, Gergely; Fröhlich, Andreas; Biere, Armin
1
2013
Inprocessing rules. Zbl 1358.68256
Järvisalo, Matti; Heule, Marijn J. H.; Biere, Armin
34
2012
Simulating circuit-level simplifications on CNF. Zbl 1267.94144
Järvisalo, Matti; Biere, Armin; Heule, Marijn J. H.
13
2012
Blocked clause elimination for QBF. Zbl 1341.68181
Biere, Armin; Lonsing, Florian; Seidl, Martina
24
2011
Efficient CNF simplification based on binary implication graphs. Zbl 1330.68269
Heule, Marijn J. H.; Järvisalo, Matti; Biere, Armin
12
2011
Failed literal detection for QBF. Zbl 1330.68118
Lonsing, Florian; Biere, Armin
5
2011
Blocked clause elimination. Zbl 1284.03208
Järvisalo, Matti; Biere, Armin; Heule, Marijn
28
2010
Clause elimination procedures for CNF formulas. Zbl 1306.68144
Heule, Marijn; Järvisalo, Matti; Biere, Armin
15
2010
Automated testing and debugging of SAT and QBF solvers. Zbl 1306.68155
Brummayer, Robert; Lonsing, Florian; Biere, Armin
13
2010
Integrating dependency schemes in search-based QBF solvers. Zbl 1306.68165
Lonsing, Florian; Biere, Armin
11
2010
Reconstructing solutions after blocked clause elimination. Zbl 1306.68159
Järvisalo, Matti; Biere, Armin
4
2010
Handbook of satisfiability. Zbl 1183.68568
160
2009
Lemmas on demand for the extensional theory of arrays. Zbl 1187.68168
Brummayer, Robert; Biere, Armin
10
2009
Efficiently representing existential dependency sets for expansion-based QBF solvers. Zbl 1291.68358
Lonsing, Florian; Biere, Armin
4
2009
A compact representation for syntactic dependencies in QBFs. Zbl 1247.68238
Lonsing, Florian; Biere, Armin
1
2009
PicoSAT essentials. Zbl 1159.68403
Biere, Armin
48
2008
Adaptive restart strategies for conflict driven SAT solvers. Zbl 1138.68533
Biere, Armin
12
2008
Nenofex: Expanding NNF for QBF solving. Zbl 1138.68546
Lonsing, Florian; Biere, Armin
12
2008
Tutorial on model checking: Modelling and verification in computer science. Zbl 1171.68546
Biere, Armin
2
2008
A first step towards a unified proof checker for QBF. Zbl 1214.68334
Jussila, Toni; Biere, Armin; Sinz, Carsten; Kröning, Daniel; Wintersteiger, Christoph M.
12
2007
Compressing BMC encodings with QBF. Zbl 1277.68136
Jussila, Toni; Biere, Armin
8
2007
Linear encodings of bounded LTL model checking. Zbl 1127.68057
Biere, Armin; Heljanko, Keijo; Junttila, Tommi; Latvala, Timo; Schuppan, Viktor
16
2006
Extended resolution proofs for conjoining BDDs. Zbl 1185.68635
Sinz, Carsten; Biere, Armin
14
2006
Extended resolution proofs for symbolic SAT solving with quantification. Zbl 1187.68550
Jussila, Toni; Sinz, Carsten; Biere, Armin
9
2006
Liveness checking as safety checking for infinite state spaces. Zbl 1273.68240
Schuppan, Viktor; Biere, Armin
7
2006
Theory and applications of satisfiability testing – SAT 2006. 9th international conference, Seattle, WA, USA, August 12–15, 2006. Proceedings. Zbl 1114.68003
2
2006
Decomposing SAT problems into connected components. Zbl 1116.68079
Biere, Armin; Sinz, Carsten
2
2006
Effective preprocessing in SAT through variable and clause elimination. Zbl 1128.68463
Eén, Niklas; Biere, Armin
82
2005
Resolve and expand. Zbl 1122.68585
Biere, Armin
30
2005
Shortest counterexamples for symbolic model checking of LTL with past. Zbl 1087.68060
Schuppan, Viktor; Biere, Armin
4
2005
Simple is better: Efficient bounded model checking for past LTL. Zbl 1111.68510
Latvala, Timo; Biere, Armin; Heljanko, Keijo; Junttila, Tommi
1
2005
Simple bounded LTL model checking. Zbl 1117.68432
Latvala, Timo; Biere, Armin; Heljanko, Keijo; Junttila, Tommi
4
2004
JNuke: Efficient dynamic analysis for Java. Zbl 1103.68602
Artho, Cyrille; Schuppan, Viktor; Biere, Armin; Eugster, Pascal; Baur, Marcel; Zweimüller, Boris
1
2004
A satisfiability procedure for quantified Boolean formulae. Zbl 1029.68082
Plaisted, David A.; Biere, Armin; Zhu, Yunshan
4
2003
Verifying the IEEE 1394 fireWire tree identify protocol with SMV. Zbl 1029.68021
Schuppan, Viktor; Biere, Armin
1
2002
Verification of out-of-order processor designs using model Checking and a light-weight completion function. Zbl 1014.68147
Berezin, Sergey; Clarke, Edmund; Biere, Armin; Zhu, Yunshan
1
2002
Bounded model checking using satisfiability solving. Zbl 0985.68038
Clarke, Edmund; Biere, Armin; Raimi, Richard; Zhu, Yunshan
53
2001
Combining decision diagrams and SAT procedures for efficient symbolic model checking. Zbl 0974.68526
Williams, Poul F.; Biere, Armin; Clarke, Edmund M.; Gupta, Anubhav
5
2000
Verifying safety properties of a PowerPC\(^{TM}\) microprocessor using symbolic model checking without BDDs. Zbl 1046.68578
Biere, Armin; Clarke, Edmund; Raimi, Richard; Zhu, Yunshan
23
1999
all top 5

Cited by 876 Authors

24 Biere, Armin
23 Marques-Silva, João P.
19 Heule, Marijn J. H.
13 Seidl, Martina
10 Järvisalo, Matti
10 Lonsing, Florian
10 Schaub, Torsten H.
9 Hoos, Holger H.
9 Janota, Mikoláš
9 Szeider, Stefan
8 Becker, Bernd
8 Ignatyev, Alexey A.
7 Barrett, Clark W.
7 Lindauer, Marius
7 Semenov, Aleksandr Anatol’evich
6 Ábrahám, Erika
6 Ansótegui, Carlos
6 Beyersdorff, Olaf
6 Kröning, Daniel
6 Kullmann, Oliver
6 Leyton-Brown, Kevin
6 Sebastiani, Roberto
6 Tinelli, Cesare
5 Egly, Uwe
5 Gebser, Martin
5 Hutter, Frank
5 Kaufmann, Benjamin
5 Kiesl, Benjamin
5 Lynce, Inês
5 Mencía, Carlos
5 Niemetz, Aina
5 Preiner, Mathias
5 Sinz, Carsten
5 Slivovsky, Friedrich
5 Suda, Martin
5 Vardi, Moshe Ya’akov
5 Weidenbach, Christoph
4 Balabanov, Valeriy
4 Chew, Leroy
4 Cimatti, Alessandro
4 Dodaro, Carmine
4 Ganesh, Vijay
4 Griggio, Alberto
4 Jiang, Jie-Hong Roland
4 Kochemazov, Stepan
4 Lagniez, Jean-Marie
4 Manquinho, Vasco M.
4 Manthey, Norbert
4 Marić, Filip
4 Nadel, Alexander
4 Philipp, Tobias
4 Pulina, Luca
4 Reynolds, Andrew
4 Ricca, Francesco
4 Ryvchin, Vadim
4 Saïs, Lakhdar
4 Scholl, Christoph
4 Schuppan, Viktor
4 Stump, Aaron
4 Tentrup, Leander
4 Wimmer, Ralf D.
4 Zaikin, Oleg Sergeevich
3 Amjad, Hasan
3 Balyo, Tomáš
3 Blinkhorn, Joshua
3 Bryant, Randal E.
3 Bubeck, Uwe
3 Buss, Sam
3 Davenport, James Harold
3 de Moura, Leonardo
3 England, Matthew
3 Finkbeiner, Bernd
3 Fleury, Mathias
3 Fröhlich, Andreas M.
3 Gaspers, Serge
3 Hamadi, Youssef
3 Iser, Markus
3 Jabbour, Said
3 Jonáš, Martin
3 Junttila, Tommi A.
3 Kauers, Manuel
3 Kleine Büning, Hans
3 Kotsireas, Ilias S.
3 Kupferman, Orna
3 Levy, Jordi
3 Marquis, Pierre
3 Martins, Ruben
3 Morgado, António
3 Niemelä, Ilkka N. F.
3 Nightingale, Peter W.
3 Rümmer, Philipp
3 Shankar, Natarajan
3 Strejček, Jan
3 Strichman, Ofer
3 Stuckey, Peter James
3 Sturm, Thomas
3 Trentin, Patrick
3 Van Gelder, Allen
3 Waldmann, Johannes
3 Wintersteiger, Christoph M.
...and 776 more Authors
all top 5

Cited in 77 Serials

42 Artificial Intelligence
33 Journal of Automated Reasoning
22 Formal Methods in System Design
18 Constraints
16 Theoretical Computer Science
11 Theory and Practice of Logic Programming
8 Annals of Mathematics and Artificial Intelligence
7 Discrete Applied Mathematics
7 Formal Aspects of Computing
6 Journal of Symbolic Computation
6 International Journal of Approximate Reasoning
6 Journal of Satisfiability, Boolean Modeling and Computation
5 Acta Informatica
5 Annals of Operations Research
5 Logical Methods in Computer Science
4 Science of Computer Programming
4 Journal of Applied Mathematics
3 Information Processing Letters
3 Journal of Computer and System Sciences
3 Computers & Operations Research
3 Automation and Remote Control
3 ACM Transactions on Computational Logic
3 Journal of Applied Logic
2 Algorithmica
2 Information and Computation
2 AI Communications
2 Machine Learning
2 Computational Geometry
2 The Journal of Artificial Intelligence Research (JAIR)
2 Journal of Heuristics
2 Mathematical Problems in Engineering
2 Theory of Computing Systems
2 Fundamenta Informaticae
2 ACM Journal of Experimental Algorithmics
2 Mathematics in Computer Science
1 Computing
1 Fuzzy Sets and Systems
1 Information Sciences
1 SIAM Journal on Computing
1 Studia Logica
1 Synthese
1 Journal of Computer Science and Technology
1 International Journal of Parallel Programming
1 Real-Time Systems
1 Japan Journal of Industrial and Applied Mathematics
1 International Journal of Algebra and Computation
1 Discrete Event Dynamic Systems
1 Bulletin of the American Mathematical Society. New Series
1 Distributed Computing
1 Computational Complexity
1 Journal of Mathematical Sciences (New York)
1 Advances in Applied Clifford Algebras
1 The Electronic Journal of Combinatorics
1 Top
1 Doklady Mathematics
1 Nonlinear Dynamics
1 Journal of Applied Mathematics and Decision Sciences
1 Journal of Graph Algorithms and Applications
1 International Journal of Applied Mathematics and Computer Science
1 Computer Languages, Systems & Structures
1 4OR
1 Journal of Discrete Algorithms
1 Fuzzy Optimization and Decision Making
1 Journal of Statistical Mechanics: Theory and Experiment
1 Electronic Notes in Theoretical Computer Science
1 Algorithms
1 Mathematical Programming Computation
1 Science China. Information Sciences
1 Symmetry
1 Diskretnyĭ Analiz i Issledovanie Operatsiĭ
1 Journal of Theoretical Biology
1 Frontiers of Computer Science
1 Computer Science Review
1 ACM Transactions on Computation Theory
1 Journal of Logical and Algebraic Methods in Programming
1 Philosophical Transactions of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences
1 DML. Discrete Mathematics Letters

Citations by Year