Edit Profile (opens in new tab) Dechter, Rina Compute Distance To: Compute Author ID: dechter.rina Published as: Dechter, Rina; Dechter, R. Documents Indexed: 77 Publications since 1980, including 2 Books 9 Contributions as Editor Co-Authors: 34 Co-Authors with 77 Joint Publications 456 Co-Co-Authors all top 5 Co-Authors 9 single-authored 13 Geffner, Hector 13 Halpern, Joseph Yehuda 11 Pearl, Judea 10 Marinescu, Radu 9 Mateescu, Robert 7 Kask, Kalev 5 Larrosa, Javier 5 Meiri, Itay 4 Gogate, Vibhav 3 Ben-Eliyahu, Rachel 3 Bidyuk, Bozhena 3 Dechter, Avi 3 Rish, Irina 3 van Beek, Peter J. L. 2 Collin, Zeev 2 Flerova, Natalia 2 Frost, Daniel 2 Katz, Shmuel 2 Otten, Lars 2 Rollon, Emma 1 El-Fattah, Yousri M. 1 Fioretto, Ferdinando 1 Huyn, Nam 1 Ihler, Alexander T. 1 Korf, Richard E. 1 Lee, Junkyu 1 Pini, Maria Silvia 1 Pinkas, Gadi 1 Pontelli, Enrico 1 Rossi, Francesca 1 Schwalb, Eddie 1 Venable, Kristen Brent 1 Yeoh, William 1 Zhang, Weixiong all top 5 Serials 22 Artificial Intelligence 9 The Journal of Artificial Intelligence Research (JAIR) 5 Annals of Mathematics and Artificial Intelligence 4 Constraints 2 Journal of the Association for Computing Machinery 2 Journal of Computer and System Sciences 2 Journal of the ACM 2 Synthesis Lectures on Artificial Intelligence and Machine Learning 1 Theoretical Computer Science 1 Journal of Automated Reasoning 1 AI Communications 1 ORSA Journal on Computing 1 Chicago Journal of Theoretical Computer Science 1 Lecture Notes in Computer Science 1 Tributes 1 ACM Books all top 5 Fields 81 Computer science (68-XX) 15 Operations research, mathematical programming (90-XX) 9 General and overarching topics; collections (00-XX) 6 Statistics (62-XX) 1 Mathematical logic and foundations (03-XX) 1 Combinatorics (05-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 61 Publications have been cited 1,073 times in 715 Documents Cited by ▼ Year ▼ Temporal constraint networks. Zbl 0737.68070Dechter, Rina; Meiri, Itay; Pearl, Judea 138 1991 Network-based heuristics for constraint-satisfaction problems. Zbl 0643.68156Dechter, Rina; Pearl, Judea 112 1988 Boosting search with variable elimination in constraint optimization and constraint satisfaction problems. Zbl 1057.68114Larrosa, Javier; Dechter, Rina 97 2003 Tree clustering for constraint networks. Zbl 0665.68084Dechter, Rina; Pearl, Judea 84 1989 Bucket elimination: A unifying framework for reasoning. Zbl 0939.68847Dechter, R. 68 1999 Propositional semantics for disjunctive logic programs. Zbl 0858.68012Ben-Eliyahu, Rachel; Dechter, Rina 59 1994 Generalized best-first search strategies and the optimality of \(A^*\). Zbl 0631.68075Dechter, Rina; Pearl, Judea 58 1985 Structure identification in relational data. Zbl 0782.68095Dechter, Rina; Pearl, Judea 44 1992 From local to global consistency. Zbl 0762.68053Dechter, Rina 34 1992 AND/OR search spaces for graphical models. Zbl 1168.68549Dechter, Rina; Mateescu, Robert 27 2007 Mini-buckets: a general scheme for bounded inference. Zbl 1326.68335Dechter, Rina; Rish, Irina 24 2003 On the minimality and global consistency of row-convex constraint networks. Zbl 0885.68087van Beek, Peter; Dechter, Rina 23 1995 Bucket elimination: A unifying framework for probabilistic inference. Zbl 0910.68209Dechter, R. 19 1998 Resolution versus search: Two strategies for SAT. Zbl 0967.68147Rish, Irina; Dechter, Rina 13 2000 A problem simplification approach that generates heuristics for constraint-satisfaction problems. Zbl 0678.68100Dechter, R.; Pearl, J. 13 1988 AND/OR branch-and-bound search for combinatorial optimization in graphical models. Zbl 1185.68648Marinescu, Radu; Dechter, Rina 12 2009 On the feasibility of distributed constraint satisfaction. Zbl 0747.68065Collin, Zeev; Dechter, Rina; Katz, Shmuel 12 1991 On computing minimal models. Zbl 0891.68109Ben-Eliyahu, Rachel; Dechter, Rina 12 1996 A general scheme for automatic generation of search heuristics from specification \(dependencies^{*}\). Zbl 0971.68035Kask, K.; Dechter, R. 12 2001 Unifying tree decompositions for reasoning in graphical models. Zbl 1132.68680Kask, Kalev; Dechter, Rina; Larrosa, Javier; Dechter, Avi 11 2005 Experimental evaluation of preprocessing algorithms for constraint satisfaction problems. Zbl 0942.68576Dechter, Rina; Meiri, Itay 11 1994 Counting-based look-ahead schemes for constraint satisfaction. Zbl 1152.68560Kask, Kalev; Dechter, Rina; Gogate, Vibhav 11 2004 Local and global relational consistency. Zbl 0902.68043Dechter, Rina; van Beek, Peter 11 1997 Topological parameters for time-space tradeoff. Zbl 0969.68149Dechter, R.; El Fattah, Y. 11 2001 Probabilistic analysis of the complexity of A*. Zbl 0447.68068Huyn, Nam; Dechter, Rina; Pearl, Judea 10 1980 Memory intensive AND/OR search for combinatorial optimization in graphical models. Zbl 1185.68649Marinescu, Radu; Dechter, Rina 10 2009 Join-graph propagation algorithms. Zbl 1192.68649Mateescu, R.; Kask, K.; Gogate, V.; Dechter, R. 9 2010 AND/OR multi-valued decision diagrams (AOMDDs) for graphical models. Zbl 1182.68258Mateescu, R.; Dechter, R.; Marinescu, R. 8 2008 Decomposing a relation into a tree of binary relations. Zbl 0694.68019Dechter, Rina 8 1990 Constraint tightness and looseness versus local and global consistency. Zbl 0890.68075van Beek, Peter; Dechter, Rina 8 1997 Processing disjunctions in temporal constraint networks. Zbl 1017.68536Schwalb, Eddie; Dechter, Rina 7 1997 Directed constraint networks: A relational framework for causal modeling. Zbl 0761.68087Dechter, Rina; Pearl, Judea 7 1991 Best-first AND/OR search for 0/1 integer programming. Zbl 1214.90088Marinescu, Radu; Dechter, Rina 7 2007 Backjump-based backtracking for constraint satisfaction problems. Zbl 0995.68102Dechter, Rina; Frost, Daniel 7 2002 SampleSearch: importance sampling in presence of determinism. Zbl 1216.68246Gogate, Vibhav; Dechter, Rina 6 2011 A general scheme for multiple lower bound computation in constraint optimization. Zbl 1067.68623Dechter, Rina; Kask, Kalev; Larrosa, Javier 5 2001 Cutset sampling for Bayesian networks. Zbl 1182.68220Bidyuk, B.; Dechter, R. 5 2007 Anytime AND/OR depth-first search for combinatorial optimization. Zbl 1250.90075Otten, Lars; Dechter, Rina 5 2012 AND/OR branch-and-bound search for pure 0/1 integer linear programming problems. Zbl 1177.90292Marinescu, Radu; Dechter, Rina 5 2006 AND/OR branch-and-bound on a computational grid. Zbl 1418.68189Otten, Lars; Dechter, Rina 4 2017 Experimental evaluation of preprocessing techniques in constraint satisfaction problems. Zbl 0707.68081Dechter, Rina; Meiri, Itay 4 1989 Temporal constraint networks. Zbl 0709.68101Dechter, Rina; Meiri, Itay; Pearl, Judea 4 1989 On the greedy solution of ordering problems. Zbl 0753.90052Dechter, Avi; Dechter, Rina 4 1989 Maintenance scheduling problems as benchmarks for constraint algorithms. Zbl 0940.68037Frost, Daniel; Dechter, Rina 3 1999 Self-stabilizing distributed constraint satisfaction. Zbl 0940.68002Collin, Zeev; Dechter, Rina; Katz, Shmuel 3 1999 The impact of AND/OR search spaces on constraint satisfaction and counting. Zbl 1152.68550Dechter, Rina; Mateescu, Robert 3 2004 Bucket elimination: a unifying framework for processing hard and soft constraints. Zbl 1315.68062Dechter, Rina 3 1997 Improving connectionist energy minimization. Zbl 0900.68235Pinkas, G.; Dechter, R. 3 1995 Reasoning with probabilistic and deterministic graphical models. Exact algorithms. Zbl 1297.68006Dechter, Rina 3 2013 Mixed deterministic and probabilistic networks. Zbl 1176.68200Mateescu, Robert; Dechter, Rina 2 2008 Constraints and probabilistic networks: A look at the interface. Zbl 1122.68592Dechter, Rina 2 2004 Searching for the \(m\) best solutions in graphical models. Zbl 1352.68221Flerova, Natalia; Marinescu, Radu; Dechter, Rina 2 2016 Accelerating exact and approximate inference for (distributed) discrete optimization with GPUs. Zbl 1395.90187Fioretto, Ferdinando; Pontelli, Enrico; Yeoh, William; Dechter, Rina 2 2018 Residual-guided look-ahead in AND/OR search for graphical models. Zbl 1418.68188Lam, William; Kask, Kalev; Larrosa, Javier; Dechter, Rina 1 2017 Importance sampling-based estimation over AND/OR search spaces for graphical models. Zbl 1251.68241Gogate, Vibhav; Dechter, Rina 1 2012 Evaluating the impact of AND/OR search on 0-1 integer linear programming. Zbl 1187.90201Marinescu, Radu; Dechter, Rina 1 2010 Robust solutions in unstable optimization problems. Zbl 1248.68461Pini, Maria Silvia; Rossi, Francesca; Venable, Kristen Brent; Dechter, Rina 1 2009 Reasoning with probabilistic and deterministic graphical models. Exact algorithms. 2nd edition. Zbl 1411.68006Dechter, Rina 1 2019 Compiling constraint networks into AND/OR multi-valued decision diagrams (AOMDDs). Zbl 1160.68555Mateescu, Robert; Dechter, Rina 1 2006 Default reasoning using classical logic. Zbl 1506.68131Ben-Eliyahu, Rachel; Dechter, Rina 1 1996 Principles and practice of constraint programming - CP 2000. 6th international conference, Singapore, September 18–21, 2000. Proceedings. Zbl 0947.00041 1 2000 Reasoning with probabilistic and deterministic graphical models. Exact algorithms. 2nd edition. Zbl 1411.68006Dechter, Rina 1 2019 Accelerating exact and approximate inference for (distributed) discrete optimization with GPUs. Zbl 1395.90187Fioretto, Ferdinando; Pontelli, Enrico; Yeoh, William; Dechter, Rina 2 2018 AND/OR branch-and-bound on a computational grid. Zbl 1418.68189Otten, Lars; Dechter, Rina 4 2017 Residual-guided look-ahead in AND/OR search for graphical models. Zbl 1418.68188Lam, William; Kask, Kalev; Larrosa, Javier; Dechter, Rina 1 2017 Searching for the \(m\) best solutions in graphical models. Zbl 1352.68221Flerova, Natalia; Marinescu, Radu; Dechter, Rina 2 2016 Reasoning with probabilistic and deterministic graphical models. Exact algorithms. Zbl 1297.68006Dechter, Rina 3 2013 Anytime AND/OR depth-first search for combinatorial optimization. Zbl 1250.90075Otten, Lars; Dechter, Rina 5 2012 Importance sampling-based estimation over AND/OR search spaces for graphical models. Zbl 1251.68241Gogate, Vibhav; Dechter, Rina 1 2012 SampleSearch: importance sampling in presence of determinism. Zbl 1216.68246Gogate, Vibhav; Dechter, Rina 6 2011 Join-graph propagation algorithms. Zbl 1192.68649Mateescu, R.; Kask, K.; Gogate, V.; Dechter, R. 9 2010 Evaluating the impact of AND/OR search on 0-1 integer linear programming. Zbl 1187.90201Marinescu, Radu; Dechter, Rina 1 2010 AND/OR branch-and-bound search for combinatorial optimization in graphical models. Zbl 1185.68648Marinescu, Radu; Dechter, Rina 12 2009 Memory intensive AND/OR search for combinatorial optimization in graphical models. Zbl 1185.68649Marinescu, Radu; Dechter, Rina 10 2009 Robust solutions in unstable optimization problems. Zbl 1248.68461Pini, Maria Silvia; Rossi, Francesca; Venable, Kristen Brent; Dechter, Rina 1 2009 AND/OR multi-valued decision diagrams (AOMDDs) for graphical models. Zbl 1182.68258Mateescu, R.; Dechter, R.; Marinescu, R. 8 2008 Mixed deterministic and probabilistic networks. Zbl 1176.68200Mateescu, Robert; Dechter, Rina 2 2008 AND/OR search spaces for graphical models. Zbl 1168.68549Dechter, Rina; Mateescu, Robert 27 2007 Best-first AND/OR search for 0/1 integer programming. Zbl 1214.90088Marinescu, Radu; Dechter, Rina 7 2007 Cutset sampling for Bayesian networks. Zbl 1182.68220Bidyuk, B.; Dechter, R. 5 2007 AND/OR branch-and-bound search for pure 0/1 integer linear programming problems. Zbl 1177.90292Marinescu, Radu; Dechter, Rina 5 2006 Compiling constraint networks into AND/OR multi-valued decision diagrams (AOMDDs). Zbl 1160.68555Mateescu, Robert; Dechter, Rina 1 2006 Unifying tree decompositions for reasoning in graphical models. Zbl 1132.68680Kask, Kalev; Dechter, Rina; Larrosa, Javier; Dechter, Avi 11 2005 Counting-based look-ahead schemes for constraint satisfaction. Zbl 1152.68560Kask, Kalev; Dechter, Rina; Gogate, Vibhav 11 2004 The impact of AND/OR search spaces on constraint satisfaction and counting. Zbl 1152.68550Dechter, Rina; Mateescu, Robert 3 2004 Constraints and probabilistic networks: A look at the interface. Zbl 1122.68592Dechter, Rina 2 2004 Boosting search with variable elimination in constraint optimization and constraint satisfaction problems. Zbl 1057.68114Larrosa, Javier; Dechter, Rina 97 2003 Mini-buckets: a general scheme for bounded inference. Zbl 1326.68335Dechter, Rina; Rish, Irina 24 2003 Backjump-based backtracking for constraint satisfaction problems. Zbl 0995.68102Dechter, Rina; Frost, Daniel 7 2002 A general scheme for automatic generation of search heuristics from specification \(dependencies^{*}\). Zbl 0971.68035Kask, K.; Dechter, R. 12 2001 Topological parameters for time-space tradeoff. Zbl 0969.68149Dechter, R.; El Fattah, Y. 11 2001 A general scheme for multiple lower bound computation in constraint optimization. Zbl 1067.68623Dechter, Rina; Kask, Kalev; Larrosa, Javier 5 2001 Resolution versus search: Two strategies for SAT. Zbl 0967.68147Rish, Irina; Dechter, Rina 13 2000 Principles and practice of constraint programming - CP 2000. 6th international conference, Singapore, September 18–21, 2000. Proceedings. Zbl 0947.00041 1 2000 Bucket elimination: A unifying framework for reasoning. Zbl 0939.68847Dechter, R. 68 1999 Maintenance scheduling problems as benchmarks for constraint algorithms. Zbl 0940.68037Frost, Daniel; Dechter, Rina 3 1999 Self-stabilizing distributed constraint satisfaction. Zbl 0940.68002Collin, Zeev; Dechter, Rina; Katz, Shmuel 3 1999 Bucket elimination: A unifying framework for probabilistic inference. Zbl 0910.68209Dechter, R. 19 1998 Local and global relational consistency. Zbl 0902.68043Dechter, Rina; van Beek, Peter 11 1997 Constraint tightness and looseness versus local and global consistency. Zbl 0890.68075van Beek, Peter; Dechter, Rina 8 1997 Processing disjunctions in temporal constraint networks. Zbl 1017.68536Schwalb, Eddie; Dechter, Rina 7 1997 Bucket elimination: a unifying framework for processing hard and soft constraints. Zbl 1315.68062Dechter, Rina 3 1997 On computing minimal models. Zbl 0891.68109Ben-Eliyahu, Rachel; Dechter, Rina 12 1996 Default reasoning using classical logic. Zbl 1506.68131Ben-Eliyahu, Rachel; Dechter, Rina 1 1996 On the minimality and global consistency of row-convex constraint networks. Zbl 0885.68087van Beek, Peter; Dechter, Rina 23 1995 Improving connectionist energy minimization. Zbl 0900.68235Pinkas, G.; Dechter, R. 3 1995 Propositional semantics for disjunctive logic programs. Zbl 0858.68012Ben-Eliyahu, Rachel; Dechter, Rina 59 1994 Experimental evaluation of preprocessing algorithms for constraint satisfaction problems. Zbl 0942.68576Dechter, Rina; Meiri, Itay 11 1994 Structure identification in relational data. Zbl 0782.68095Dechter, Rina; Pearl, Judea 44 1992 From local to global consistency. Zbl 0762.68053Dechter, Rina 34 1992 Temporal constraint networks. Zbl 0737.68070Dechter, Rina; Meiri, Itay; Pearl, Judea 138 1991 On the feasibility of distributed constraint satisfaction. Zbl 0747.68065Collin, Zeev; Dechter, Rina; Katz, Shmuel 12 1991 Directed constraint networks: A relational framework for causal modeling. Zbl 0761.68087Dechter, Rina; Pearl, Judea 7 1991 Decomposing a relation into a tree of binary relations. Zbl 0694.68019Dechter, Rina 8 1990 Tree clustering for constraint networks. Zbl 0665.68084Dechter, Rina; Pearl, Judea 84 1989 Experimental evaluation of preprocessing techniques in constraint satisfaction problems. Zbl 0707.68081Dechter, Rina; Meiri, Itay 4 1989 Temporal constraint networks. Zbl 0709.68101Dechter, Rina; Meiri, Itay; Pearl, Judea 4 1989 On the greedy solution of ordering problems. Zbl 0753.90052Dechter, Avi; Dechter, Rina 4 1989 Network-based heuristics for constraint-satisfaction problems. Zbl 0643.68156Dechter, Rina; Pearl, Judea 112 1988 A problem simplification approach that generates heuristics for constraint-satisfaction problems. Zbl 0678.68100Dechter, R.; Pearl, J. 13 1988 Generalized best-first search strategies and the optimality of \(A^*\). Zbl 0631.68075Dechter, Rina; Pearl, Judea 58 1985 Probabilistic analysis of the complexity of A*. Zbl 0447.68068Huyn, Nam; Dechter, Rina; Pearl, Judea 10 1980 all cited Publications top 5 cited Publications all top 5 Cited by 1,129 Authors 29 Dechter, Rina 16 Cooper, Martin C. 15 Jeavons, Peter G. 11 Cohen, David A. 11 Eiter, Thomas 11 Ibaraki, Toshihide 11 Scarcello, Francesco 11 Živný, Stanislav 10 Bessiere, Christian 10 Makino, Kazuhisa 9 Gottlob, Georg 9 Leone, Nicola 8 Pearl, Judea 8 Szeider, Stefan 7 Boros, Endre 7 Darwiche, Adnan 7 de Givry, Simon 7 Felner, Ariel 7 Greco, Gianluigi 7 Larrosa, Javier 7 Palopoli, Luigi 7 Wilson, Nic 6 Ben-Eliyahu-Zohary, Rachel 6 Čepek, Ondřej 6 Chakrabarti, Partha Pratim 6 Gebser, Martin 6 Kirousis, Lefteris Miltiades 6 Kogan, Alexander 6 Schiex, Thomas 6 Woltran, Stefan 6 Zhang, Yuanlin 5 DeSarkar, S. C. 5 Freuder, Eugene C. 5 Hirsch, Robin 5 Jégou, Philippe 5 Koubarakis, Manolis 5 Maratea, Marco 5 Marinescu, Radu 5 Meisels, Amnon 5 Pesant, Gilles 5 Ricca, Francesco 5 Rizzi, Romeo 5 Subramani, Krishnan 5 Walsh, Toby 5 Zhang, Weixiong 4 Allouche, David 4 Angiulli, Fabrizio 4 Beck, J. Christopher 4 Cimatti, Alessandro 4 Comin, Carlo 4 Faber, Wolfgang 4 Fargier, Hélène 4 Fichte, Johannes Klaus 4 Gagliardi Cozman, Fabio 4 Ghose, Sujoy 4 Gonzales, Christophe 4 Jacobson, Sheldon H. 4 Jonsson, Peter 4 Kolaitis, Phokion G. 4 Korf, Richard E. 4 Kučera, Petr 4 Lecoutre, Christophe 4 Lin, Fangzhen 4 Marques-Silva, João P. 4 Meiri, Itay 4 Mengshoel, Ole J. 4 Micheli, Andrea 4 Mouhoub, Malek 4 O’Sullivan, Barry 4 Posenato, Roberto 4 Roth, Dan 4 Roveri, Marco 4 Stergiou, Kostas 4 Terrioux, Cyril 4 Vardi, Moshe Ya’akov 4 Williams, Brian Charles 3 Alviano, Mario 3 Amendola, Giovanni 3 Barro, Senén 3 Barták, Roman 3 Ben-Eliyahu, Rachel 3 Bogaerts, Bart 3 Boizumault, Patrice 3 Bulatov, Andrei A. 3 Cadoli, Marco 3 de Campos, Cassio Polpo 3 De Raedt, Luc 3 Díez, Francisco Javier 3 Faltings, Boi Volkert 3 Fassetti, Fabio 3 Fink, Michael 3 Geffner, Hector 3 Gent, Ian Philip 3 Gerevini, Alfonso Emilio 3 Giunchiglia, Enrico 3 Hammer, Peter Ladislaw 3 Heule, Marijn J. H. 3 Hunsberger, Luke 3 Janhunen, Tomi 3 Kask, Kalev ...and 1,029 more Authors all top 5 Cited in 108 Serials 206 Artificial Intelligence 46 Constraints 36 Annals of Mathematics and Artificial Intelligence 31 International Journal of Approximate Reasoning 19 Theoretical Computer Science 17 Journal of Computer and System Sciences 15 Discrete Applied Mathematics 15 Theory and Practice of Logic Programming 14 Information and Computation 11 European Journal of Operational Research 10 Annals of Operations Research 9 Information Processing Letters 8 Journal of Automated Reasoning 8 The Journal of Artificial Intelligence Research (JAIR) 7 Information Sciences 6 Computers & Operations Research 6 Machine Learning 6 Journal of Applied Non-Classical Logics 5 International Journal of Computer Vision 5 Journal of Heuristics 5 ACM Transactions on Computational Logic 4 Applied Mathematics and Computation 4 Algorithmica 4 SIAM Journal on Discrete Mathematics 3 Acta Informatica 3 Fuzzy Sets and Systems 3 Networks 3 SIAM Journal on Computing 3 International Journal of Intelligent Systems 3 Mathematical and Computer Modelling 3 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 3 Journal of Global Optimization 3 International Journal of Computer Mathematics 3 Cybernetics and Systems Analysis 3 Journal of Computer and Systems Sciences International 3 INFORMS Journal on Computing 3 Journal of Combinatorial Optimization 3 Journal of Scheduling 3 RAIRO. Operations Research 3 ACM Journal of Experimental Algorithmics 3 Journal of Applied Logic 3 Discrete Optimization 3 SN Operations Research Forum 2 Discrete Mathematics 2 Journal of Computer Science and Technology 2 Discrete Mathematics and Applications 2 Mathematical Programming. Series A. Series B 2 Mathematical Problems in Engineering 2 Journal of the ACM 2 International Journal of Applied Mathematics and Computer Science 2 Sādhanā 2 JMMA. Journal of Mathematical Modelling and Algorithms 2 Journal of Discrete Algorithms 2 Journal of Statistical Mechanics: Theory and Experiment 2 Logical Methods in Computer Science 1 International Journal of General Systems 1 ACM Transactions on Database Systems 1 Computing 1 Journal of Algebra 1 Journal of Computational and Applied Mathematics 1 Journal of Mathematical Economics 1 Journal of Philosophical Logic 1 The Journal of Symbolic Logic 1 Kybernetika 1 Naval Research Logistics 1 Theory and Decision 1 OR Spektrum 1 Cybernetics and Systems 1 Science of Computer Programming 1 Annals of Pure and Applied Logic 1 Journal of Symbolic Computation 1 Statistical Science 1 International Journal of Parallel Programming 1 AI Communications 1 Journal of Intelligent & Robotic Systems 1 Discrete Event Dynamic Systems 1 Artificial Intelligence Review 1 Automation and Remote Control 1 Communications in Statistics. Simulation and Computation 1 Pattern Recognition 1 Computational Statistics and Data Analysis 1 SIAM Journal on Optimization 1 Formal Methods in System Design 1 Journal of Logic, Language and Information 1 Science in China. Series E 1 Theory of Computing Systems 1 Soft Computing 1 Journal of Integer Sequences 1 CEJOR. Central European Journal of Operations Research 1 Methodology and Computing in Applied Probability 1 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 1 Natural Computing 1 Computational Intelligence 1 Computational Management Science 1 Parallel Processing Letters 1 Journal of Mathematics and Music 1 Mathematics in Computer Science 1 Optimization Letters 1 Computational & Mathematical Methods in Medicine 1 Acta Universitatis Sapientiae. Informatica ...and 8 more Serials all top 5 Cited in 24 Fields 600 Computer science (68-XX) 149 Operations research, mathematical programming (90-XX) 56 Mathematical logic and foundations (03-XX) 46 Combinatorics (05-XX) 29 Statistics (62-XX) 20 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 17 Order, lattices, ordered algebraic structures (06-XX) 11 General algebraic systems (08-XX) 11 Biology and other natural sciences (92-XX) 6 Information and communication theory, circuits (94-XX) 5 Probability theory and stochastic processes (60-XX) 3 Commutative algebra (13-XX) 3 Systems theory; control (93-XX) 2 Associative rings and algebras (16-XX) 2 Numerical analysis (65-XX) 2 Quantum theory (81-XX) 2 Statistical mechanics, structure of matter (82-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Measure and integration (28-XX) 1 Convex and discrete geometry (52-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Astronomy and astrophysics (85-XX) 1 Geophysics (86-XX) Citations by Year