×

zbMATH — the first resource for mathematics

Sebastiani, Roberto

Compute Distance To:
Author ID: sebastiani.roberto Recent zbMATH articles by "Sebastiani, Roberto"
Published as: Sebastiani, R.; Sebastiani, Roberto
Documents Indexed: 71 Publications since 1994, including 4 Books

Publications by Year

Citations contained in zbMATH Open

52 Publications have been cited 410 times in 280 Documents Cited by Year
NuSMV 2: An OpenSource tool for symbolic model checking. Zbl 1010.68766
Cimatti, Alessandro; Clarke, Edmund; Giunchiglia, Enrico; Giunchiglia, Fausto; Pistore, Marco; Roveri, Marco; Sebastiani, Roberto; Tacchella, Armando
78
2002
Lazy satisfiability modulo theories. Zbl 1145.68501
Sebastiani, Roberto
38
2007
The MathSAT5 SMT solver. Zbl 1381.68153
Cimatti, Alessandro; Griggio, Alberto; Schaafsma, Bastiaan Joost; Sebastiani, Roberto
32
2013
Efficient interpolant generation in satisfiability modulo theories. Zbl 1134.68402
Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto
16
2008
Efficient theory combination via Boolean search. Zbl 1137.68578
Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Junttila, Tommi; Ranise, Silvio; Van Rossum, Peter; Sebastiani, Roberto
15
2006
A SAT based approach for solving formulas over Boolean and linear mathematical propositions. Zbl 1072.68562
Audemard, Gilles; Bertoli, Piergiorgio; Cimatti, Alessandro; Korniłowicz, Artur; Sebastiani, Roberto
15
2002
Efficient generation of Craig interpolants in satisfiability modulo theories. Zbl 1351.68247
Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto
14
2010
Verifying industrial hybrid systems with MathSAT. Zbl 1272.68220
Audemard, Gilles; Bozzano, Marco; Cimatti, Alessandro; Sebastiani, Roberto
14
2005
An incremental and layered procedure for the satisfiability of linear arithmetic logic. Zbl 1087.68630
Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Junttila, Tommi; van Rossum, Peter; Schulz, Stephan; Sebastiani, Roberto
13
2005
Bounded model checking for timed systems. Zbl 1037.68549
Audemard, G.; Cimatti, A.; Kornilowicz, A.; Sebastiani, R.
11
2002
Optimization in SMT with \(\mathcal{LA}(\mathbb Q)\) cost functions. Zbl 1358.68264
Sebastiani, Roberto; Tomasi, Silvia
10
2012
Building decision procedures for modal logics from propositional decision procedures: The case study of modal \(K(m)\). Zbl 1033.03509
Giunchiglia, Fausto; Sebastiani, Roberto
10
2000
“More deterministic” vs. “smaller” Büchi automata for efficient LTL model checking. Zbl 1179.68095
Sebastiani, Roberto; Tonetta, Stefano
8
2003
Satisfiability modulo the theory of costs: foundations and applications. Zbl 1284.68388
Cimatti, Alessandro; Franzén, Anders; Griggio, Alberto; Sebastiani, Roberto; Stenico, Cristian
7
2010
Axiom pinpointing in lightweight description logics via Horn-SAT encoding and conflict analysis. Zbl 1250.68246
Sebastiani, Roberto; Vescovi, Michele
7
2009
A simple and flexible way of computing small unsatisfiable cores in SAT modulo theories. Zbl 1214.68348
Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto
7
2007
MathSAT: Tight integration of SAT and mathematical decision procedures. Zbl 1109.68101
Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Junttila, Tommi; van Rossum, Peter; Schulz, Stephan; Sebastiani, Roberto
7
2005
Theory and applications of satisfiability testing – SAT 2012. 15th international conference, Trento, Italy, June 17–20, 2012. Proceedings. Zbl 1268.68009
Cimatti, Alessandro (ed.); Sebastiani, Roberto (ed.)
6
2012
Computing small unsatisfiable cores in satisfiability modulo theories. Zbl 1216.68241
Cimatti, A.; Griggio, A.; Sebastiani, R.
6
2011
Efficient satisfiability modulo theories via delayed theory combination. Zbl 1081.68610
Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Junttila, Tommi; Ranise, Silvio; van Rossum, Peter; Sebastiani, Roberto
6
2005
Optimization modulo theories with linear rational costs. Zbl 1354.68233
Sebastiani, Roberto; Tomasi, Silvia
5
2015
A modular approach to MaxSAT modulo theories. Zbl 1390.68572
Cimatti, Alessandro; Griggio, Alberto; Schaafsma, Bastiaan Joost; Sebastiani, Roberto
5
2013
Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis. Zbl 1192.68627
Bruttomesso, Roberto; Cimatti, Alessandro; Franzen, Anders; Griggio, Alberto; Sebastiani, Roberto
5
2009
To Ackermann-ize or not to Ackermann-ize? On efficiently handling uninterpreted function symbols in SMT\((\mathcal{EUF} \cup \mathcal{T})\). Zbl 1165.68482
Bruttomesso, Roberto; Cimatti, Alessandro; Franzén, Anders; Griggio, Alberto; Santuari, Alessandro; Sebastiani, Roberto
5
2006
Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: A comparative analysis. Zbl 1165.68483
Bruttomesso, Roberto; Cimatti, Alessandro; Franzén, Anders; Griggio, Alberto; Sebastiani, Roberto
5
2006
Applying the Davis-Putnam procedure to non-clausal formulas. Zbl 0961.03014
Giunchiglia, Enrico; Sebastiani, Roberto
5
2000
Applying GSAT to non-clausal formulas. (Research Note). Zbl 0900.68234
Sebastiani, R.
5
1994
Solving SAT and MaxSAT with a quantum annealer: foundations and a preliminary report. Zbl 06821632
Bian, Zhengbing; Chudak, Fabian; Macready, William; Roy, Aidan; Sebastiani, Roberto; Varotti, Stefano
4
2017
Interpolant generation for UTVPI. Zbl 1250.68186
Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto
4
2009
GSTE is partitioned model checking. Zbl 1103.68638
Sebastiani, Roberto; Singerman, Eli; Tonetta, Stefano; Vardi, Moshe Y.
4
2004
A new general method to generate random modal formulae for testing decision procedures. Zbl 1056.68136
Patel-Schneider, P. F.; Sebastiani, R.
4
2003
Building decision procedures for modal logics from propositional decision procedures – the case study of modal K. Zbl 1415.03022
Giunchiglia, Fausto; Sebastiani, Roberto
4
1996
Structured learning modulo theories. Zbl 1404.68121
Teso, Stefano; Sebastiani, Roberto; Passerini, Andrea
3
2017
Efficient interpolant generation in satisfiability modulo linear integer arithmetic. Zbl 1315.68179
Griggio, Alberto; Le, Thi Thieu Hoa; Sebastiani, Roberto
3
2011
Automated reasoning in modal and description logics via SAT encoding: the case study of \(K_m/\mathcal{ALC}\)-satisfiability. Zbl 1180.68257
Sebastiani, R.; Vescovi, M.
3
2009
Integrating BDD-based and SAT-based symbolic model checking. Zbl 1057.68623
Cimatti, Alessandro; Giunchiglia, Enrico; Pistore, Marco; Roveri, Marco; Sebastiani, Roberto; Tacchella, Armando
3
2002
SAT vs. translation based decision procedures for modal logics: A comparative evaluation. Zbl 1033.03500
Giunchiglia, Enrico; Giunchiglia, Fausto; Sebastiani, Roberto; Tacchella, Armando
3
2000
OptiMathSAT: a tool for optimization modulo theories. Zbl 07176604
Sebastiani, Roberto; Trentin, Patrick
2
2020
Incremental linearization for satisfiability and verification modulo nonlinear arithmetic and transcendental functions. Zbl 1407.68285
Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto
2
2018
Satisfiability modulo transcendental functions via incremental linearization. Zbl 06778399
Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto
2
2017
Stochastic local search for SMT: combining theory solvers with WalkSAT. Zbl 1348.68227
Griggio, Alberto; Phan, Quoc-Sang; Sebastiani, Roberto; Tomasi, Silvia
2
2011
Improving the encoding of LTL model checking into SAT. Zbl 1057.68056
Cimatti, Alessandro; Pistore, Marco; Roveri, Marco; Sebastiani, Roberto
2
2002
Colors make theories hard. Zbl 06623259
Sebastiani, Roberto
1
2016
Pushing the envelope of optimization modulo theories with linear-arithmetic cost functions. Zbl 1420.68197
Sebastiani, R.; Trentin, P.
1
2015
Automated reasoning in \(\mathcal{ALCQ}\) via SMT. Zbl 1341.68226
Haarslev, Volker; Sebastiani, Roberto; Vescovi, Michele
1
2011
GSTE is partitioned model checking. Zbl 1129.68044
Sebastiani, Roberto; Singerman, Eli; Tonetta, Stefano; Vardi, Moshe Y.
1
2007
Property-driven partitioning for abstraction refinement. Zbl 1186.68301
Sebastiani, Roberto; Tonetta, Stefano; Vardi, Moshe Y.
1
2007
Encoding RTL constructs for MathSAT: a preliminary report. Zbl 1272.68230
Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Franzén, Anders; Hanna, Ziyad; Khasidashvili, Zurab; Palti, Amit; Sebastiani, Roberto
1
2006
Building efficient decision procedures on top of SAT solvers. Zbl 1182.68114
Cimatti, Alessandro; Sebastiani, Roberto
1
2006
Symbolic systems, explicit properties: On hybrid approaches for LTL symbolic model checking. Zbl 1081.68634
Sebastiani, Roberto; Tonetta, Stefano; Vardi, Moshe Y.
1
2005
Integrating Boolean and mathematical solving: Foundations, basic algorithms, and requirements. Zbl 1072.68603
Audemard, Gilles; Bertoli, Piergiorgio; Cimatti, Alessandro; Korniłowicz, Artur; Sebastiani, Roberto
1
2002
Calculating criticalities. Zbl 0906.68138
Bundy, A.; Giunchiglia, F.; Sebastiani, R.; Walsh, T.
1
1996
OptiMathSAT: a tool for optimization modulo theories. Zbl 07176604
Sebastiani, Roberto; Trentin, Patrick
2
2020
Incremental linearization for satisfiability and verification modulo nonlinear arithmetic and transcendental functions. Zbl 1407.68285
Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto
2
2018
Solving SAT and MaxSAT with a quantum annealer: foundations and a preliminary report. Zbl 06821632
Bian, Zhengbing; Chudak, Fabian; Macready, William; Roy, Aidan; Sebastiani, Roberto; Varotti, Stefano
4
2017
Structured learning modulo theories. Zbl 1404.68121
Teso, Stefano; Sebastiani, Roberto; Passerini, Andrea
3
2017
Satisfiability modulo transcendental functions via incremental linearization. Zbl 06778399
Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto
2
2017
Colors make theories hard. Zbl 06623259
Sebastiani, Roberto
1
2016
Optimization modulo theories with linear rational costs. Zbl 1354.68233
Sebastiani, Roberto; Tomasi, Silvia
5
2015
Pushing the envelope of optimization modulo theories with linear-arithmetic cost functions. Zbl 1420.68197
Sebastiani, R.; Trentin, P.
1
2015
The MathSAT5 SMT solver. Zbl 1381.68153
Cimatti, Alessandro; Griggio, Alberto; Schaafsma, Bastiaan Joost; Sebastiani, Roberto
32
2013
A modular approach to MaxSAT modulo theories. Zbl 1390.68572
Cimatti, Alessandro; Griggio, Alberto; Schaafsma, Bastiaan Joost; Sebastiani, Roberto
5
2013
Optimization in SMT with \(\mathcal{LA}(\mathbb Q)\) cost functions. Zbl 1358.68264
Sebastiani, Roberto; Tomasi, Silvia
10
2012
Theory and applications of satisfiability testing – SAT 2012. 15th international conference, Trento, Italy, June 17–20, 2012. Proceedings. Zbl 1268.68009
Cimatti, Alessandro (ed.); Sebastiani, Roberto (ed.)
6
2012
Computing small unsatisfiable cores in satisfiability modulo theories. Zbl 1216.68241
Cimatti, A.; Griggio, A.; Sebastiani, R.
6
2011
Efficient interpolant generation in satisfiability modulo linear integer arithmetic. Zbl 1315.68179
Griggio, Alberto; Le, Thi Thieu Hoa; Sebastiani, Roberto
3
2011
Stochastic local search for SMT: combining theory solvers with WalkSAT. Zbl 1348.68227
Griggio, Alberto; Phan, Quoc-Sang; Sebastiani, Roberto; Tomasi, Silvia
2
2011
Automated reasoning in \(\mathcal{ALCQ}\) via SMT. Zbl 1341.68226
Haarslev, Volker; Sebastiani, Roberto; Vescovi, Michele
1
2011
Efficient generation of Craig interpolants in satisfiability modulo theories. Zbl 1351.68247
Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto
14
2010
Satisfiability modulo the theory of costs: foundations and applications. Zbl 1284.68388
Cimatti, Alessandro; Franzén, Anders; Griggio, Alberto; Sebastiani, Roberto; Stenico, Cristian
7
2010
Axiom pinpointing in lightweight description logics via Horn-SAT encoding and conflict analysis. Zbl 1250.68246
Sebastiani, Roberto; Vescovi, Michele
7
2009
Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis. Zbl 1192.68627
Bruttomesso, Roberto; Cimatti, Alessandro; Franzen, Anders; Griggio, Alberto; Sebastiani, Roberto
5
2009
Interpolant generation for UTVPI. Zbl 1250.68186
Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto
4
2009
Automated reasoning in modal and description logics via SAT encoding: the case study of \(K_m/\mathcal{ALC}\)-satisfiability. Zbl 1180.68257
Sebastiani, R.; Vescovi, M.
3
2009
Efficient interpolant generation in satisfiability modulo theories. Zbl 1134.68402
Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto
16
2008
Lazy satisfiability modulo theories. Zbl 1145.68501
Sebastiani, Roberto
38
2007
A simple and flexible way of computing small unsatisfiable cores in SAT modulo theories. Zbl 1214.68348
Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto
7
2007
GSTE is partitioned model checking. Zbl 1129.68044
Sebastiani, Roberto; Singerman, Eli; Tonetta, Stefano; Vardi, Moshe Y.
1
2007
Property-driven partitioning for abstraction refinement. Zbl 1186.68301
Sebastiani, Roberto; Tonetta, Stefano; Vardi, Moshe Y.
1
2007
Efficient theory combination via Boolean search. Zbl 1137.68578
Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Junttila, Tommi; Ranise, Silvio; Van Rossum, Peter; Sebastiani, Roberto
15
2006
To Ackermann-ize or not to Ackermann-ize? On efficiently handling uninterpreted function symbols in SMT\((\mathcal{EUF} \cup \mathcal{T})\). Zbl 1165.68482
Bruttomesso, Roberto; Cimatti, Alessandro; Franzén, Anders; Griggio, Alberto; Santuari, Alessandro; Sebastiani, Roberto
5
2006
Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: A comparative analysis. Zbl 1165.68483
Bruttomesso, Roberto; Cimatti, Alessandro; Franzén, Anders; Griggio, Alberto; Sebastiani, Roberto
5
2006
Encoding RTL constructs for MathSAT: a preliminary report. Zbl 1272.68230
Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Franzén, Anders; Hanna, Ziyad; Khasidashvili, Zurab; Palti, Amit; Sebastiani, Roberto
1
2006
Building efficient decision procedures on top of SAT solvers. Zbl 1182.68114
Cimatti, Alessandro; Sebastiani, Roberto
1
2006
Verifying industrial hybrid systems with MathSAT. Zbl 1272.68220
Audemard, Gilles; Bozzano, Marco; Cimatti, Alessandro; Sebastiani, Roberto
14
2005
An incremental and layered procedure for the satisfiability of linear arithmetic logic. Zbl 1087.68630
Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Junttila, Tommi; van Rossum, Peter; Schulz, Stephan; Sebastiani, Roberto
13
2005
MathSAT: Tight integration of SAT and mathematical decision procedures. Zbl 1109.68101
Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Junttila, Tommi; van Rossum, Peter; Schulz, Stephan; Sebastiani, Roberto
7
2005
Efficient satisfiability modulo theories via delayed theory combination. Zbl 1081.68610
Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Junttila, Tommi; Ranise, Silvio; van Rossum, Peter; Sebastiani, Roberto
6
2005
Symbolic systems, explicit properties: On hybrid approaches for LTL symbolic model checking. Zbl 1081.68634
Sebastiani, Roberto; Tonetta, Stefano; Vardi, Moshe Y.
1
2005
GSTE is partitioned model checking. Zbl 1103.68638
Sebastiani, Roberto; Singerman, Eli; Tonetta, Stefano; Vardi, Moshe Y.
4
2004
“More deterministic” vs. “smaller” Büchi automata for efficient LTL model checking. Zbl 1179.68095
Sebastiani, Roberto; Tonetta, Stefano
8
2003
A new general method to generate random modal formulae for testing decision procedures. Zbl 1056.68136
Patel-Schneider, P. F.; Sebastiani, R.
4
2003
NuSMV 2: An OpenSource tool for symbolic model checking. Zbl 1010.68766
Cimatti, Alessandro; Clarke, Edmund; Giunchiglia, Enrico; Giunchiglia, Fausto; Pistore, Marco; Roveri, Marco; Sebastiani, Roberto; Tacchella, Armando
78
2002
A SAT based approach for solving formulas over Boolean and linear mathematical propositions. Zbl 1072.68562
Audemard, Gilles; Bertoli, Piergiorgio; Cimatti, Alessandro; Korniłowicz, Artur; Sebastiani, Roberto
15
2002
Bounded model checking for timed systems. Zbl 1037.68549
Audemard, G.; Cimatti, A.; Kornilowicz, A.; Sebastiani, R.
11
2002
Integrating BDD-based and SAT-based symbolic model checking. Zbl 1057.68623
Cimatti, Alessandro; Giunchiglia, Enrico; Pistore, Marco; Roveri, Marco; Sebastiani, Roberto; Tacchella, Armando
3
2002
Improving the encoding of LTL model checking into SAT. Zbl 1057.68056
Cimatti, Alessandro; Pistore, Marco; Roveri, Marco; Sebastiani, Roberto
2
2002
Integrating Boolean and mathematical solving: Foundations, basic algorithms, and requirements. Zbl 1072.68603
Audemard, Gilles; Bertoli, Piergiorgio; Cimatti, Alessandro; Korniłowicz, Artur; Sebastiani, Roberto
1
2002
Building decision procedures for modal logics from propositional decision procedures: The case study of modal \(K(m)\). Zbl 1033.03509
Giunchiglia, Fausto; Sebastiani, Roberto
10
2000
Applying the Davis-Putnam procedure to non-clausal formulas. Zbl 0961.03014
Giunchiglia, Enrico; Sebastiani, Roberto
5
2000
SAT vs. translation based decision procedures for modal logics: A comparative evaluation. Zbl 1033.03500
Giunchiglia, Enrico; Giunchiglia, Fausto; Sebastiani, Roberto; Tacchella, Armando
3
2000
Building decision procedures for modal logics from propositional decision procedures – the case study of modal K. Zbl 1415.03022
Giunchiglia, Fausto; Sebastiani, Roberto
4
1996
Calculating criticalities. Zbl 0906.68138
Bundy, A.; Giunchiglia, F.; Sebastiani, R.; Walsh, T.
1
1996
Applying GSAT to non-clausal formulas. (Research Note). Zbl 0900.68234
Sebastiani, R.
5
1994
all top 5

Cited by 606 Authors

18 Sebastiani, Roberto
15 Cimatti, Alessandro
8 Kröning, Daniel
7 Ábrahám, Erika
7 Griggio, Alberto
7 Roveri, Marco
7 Vardi, Moshe Y.
6 Bonacina, Maria Paola
6 Bruttomesso, Roberto
6 Marques-Silva, João P.
6 Ranise, Silvio
5 Barrett, Clark W.
5 Fontaine, Pascal
5 Kremer, Gereon
5 Strichman, Ofer
5 Tinelli, Cesare
5 Tonetta, Stefano
5 Weidenbach, Christoph
4 Biere, Armin
4 de Moura, Leonardo
4 Dixon, Clare
4 Eggers, Andreas
4 Fränzle, Martin
4 Ghilardi, Silvio
4 Giunchiglia, Enrico
4 Giunchiglia, Fausto
4 Hustadt, Ullrich
4 Maratea, Marco
4 Peñaloza, Rafael
4 Rümmer, Philipp
3 Ansótegui, Carlos
3 Areces, Carlos
3 Becker, Bernd
3 Bofill, Miquel
3 Bozzano, Marco
3 Bromberger, Martin
3 Chechik, Marsha
3 Cook, Byron
3 Déharbe, David
3 Ganesh, Vijay
3 Gurfinkel, Arie
3 Jobstmann, Barbara
3 Johansson, Moa
3 Junttila, Tommi A.
3 Kupferschmid, Stefan
3 Li, Jianwen
3 Liffiton, Mark H.
3 Lindauer, Marius
3 Mancini, Toni
3 Mencía, Carlos
3 Micheli, Andrea
3 Mover, Sergio
3 Nicolini, Enrica
3 Nieuwenhuis, Robert
3 Oliveras, Albert
3 Pu, Geguang
3 Schuppan, Viktor
3 Sharygina, Natasha
3 Song, Xiaoyu
3 Teige, Tino
3 Villaret, Mateu
3 Zhang, Lijun
2 Arif, M. Fareed
2 Armando, Alessandro
2 Badban, Bahareh
2 Bersani, Marcello M.
2 Bloem, Roderick
2 Brain, Martin
2 Bright, Curtis
2 Brim, Luboš
2 Bu, Lei
2 Cadoli, Marco
2 Ceterchi, Rodica
2 Clarke, Edmund Melson jun.
2 Corzilius, Florian
2 Czarnecki, Krzysztof
2 Davenport, James Harold
2 De Giacomo, Giuseppe
2 De Oliveira, Diego Caminha B.
2 Disch, Stefan
2 Duan, Zhenhua
2 Echenim, Mnacho
2 Ehlers, Rüdiger
2 England, Matthew
2 Gheorghe, Marian
2 Goel, Amit
2 Gu, Ming
2 Gu, Ming
2 He, Jifeng
2 Herde, Christian
2 Hoos, Holger H.
2 Hutter, Frank
2 Ignatyev, Alexey A.
2 Iosif, Radu
2 Ipate, Florentin
2 Jain, Himanshu
2 Järvisalo, Matti
2 Jovanović, Dejan
2 Konnov, Igor V.
2 Konur, Savas
...and 506 more Authors
all top 5

Cited in 49 Serials

32 Formal Methods in System Design
24 Journal of Automated Reasoning
22 Artificial Intelligence
11 Theoretical Computer Science
11 Formal Aspects of Computing
10 Information and Computation
9 Constraints
6 Annals of Mathematics and Artificial Intelligence
5 Acta Informatica
5 Science of Computer Programming
4 Journal of Computer and System Sciences
4 Journal of Symbolic Computation
4 Theory and Practice of Logic Programming
4 ACM Transactions on Computational Logic
3 Journal of Applied Logic
2 Discrete Applied Mathematics
2 Journal of Computer Science and Technology
2 Journal of Global Optimization
2 Discrete Event Dynamic Systems
2 Cybernetics and Systems Analysis
2 Journal of Applied Mathematics
2 Mathematics in Computer Science
1 Information Processing Letters
1 Fuzzy Sets and Systems
1 Information Sciences
1 Programming and Computer Software
1 Annals of Operations Research
1 Real-Time Systems
1 Machine Learning
1 European Journal of Operational Research
1 Distributed Computing
1 Journal of Applied Non-Classical Logics
1 Journal of Heuristics
1 Theory of Computing Systems
1 Chaos
1 Fundamenta Informaticae
1 The Journal of Logic and Algebraic Programming
1 Quantum Information Processing
1 Discrete Optimization
1 Science in China. Series F
1 Journal of Zhejiang University. Science A
1 Electronic Notes in Theoretical Computer Science
1 Nonlinear Analysis. Hybrid Systems
1 Acta Universitatis Sapientiae. Informatica
1 Algorithms
1 Statistics and Computing
1 Frontiers of Computer Science
1 Computer Science Review
1 Journal of Logical and Algebraic Methods in Programming

Citations by Year