Edit Profile (opens in new tab) Barrett, Clark W. Compute Distance To: Compute Author ID: barrett.clark-w Published as: Barrett, Clark; Barrett, Clark W.; Barrett, Clack more...less External Links: MGP Documents Indexed: 63 Publications since 2000 1 Contribution as Editor Co-Authors: 73 Co-Authors with 63 Joint Publications 898 Co-Co-Authors all top 5 Co-Authors 1 single-authored 32 Tinelli, Cesare 26 Reynolds, Andrew 9 Zohar, Yoni 8 Dill, David L. 8 Stump, Aaron 7 Deters, Morgan 7 Niemetz, Aina 7 Preiner, Mathias 4 Barbosa, Haniel 4 de Moura, Leonardo 4 Jovanović, Dejan 4 Nötzli, Andres 4 Sheng, Ying 3 Bansal, Kshitij 3 Fontaine, Pascal 3 Ge, Yeting 3 Irfan, Ahmed 3 Katz, Guy 3 Liang, Tianyi 3 Mann, Makai 3 Ringeissen, Christophe 3 Shikanian, Igor 2 Berezin, Sergey 2 Demri, Stéphane P. 2 Fang, Yi 2 Goldberg, Benjamin 2 Griggio, Alberto 2 Hu, Ying 2 Kremer, Gereon 2 Kuncak, Viktor 2 Lange, Jane 2 Ozdemir, Alex 2 Padon, Oded 2 Pnueli, Amir 2 Tsiskaridze, Nestan 2 Viswanathan, Arjun 2 Wies, Thomas 2 Zuck, Lenore D. 1 Amir, Guy 1 Brown, Kristopher 1 Brumley, David 1 Chechik, Marsha 1 Conway, Christopher L. 1 Dams, Dennis René 1 Donham, Jacob 1 Donovick, Caleb 1 Ekici, Burak 1 El Ouraoui, Daniel 1 Goel, Amit 1 Grieskamp, Wolfgang 1 Guman, Allison 1 Gurfinkel, Arie 1 Hadarean, Liana 1 Julian, Kyle 1 Kahsai, Temesghen 1 Keller, Chantal 1 King, Tim 1 Kochenderfer, Mykel J. 1 Krstic, Sava A. 1 Lachnitt, Hanna 1 McLaughlin, Sean 1 Mebsout, Alain 1 Meng, Baoluo 1 Namjoshi, Kedar S. 1 Nieuwenhuis, Robert 1 Oliveras, Albert 1 Park, Junkil 1 Qadeer, Shaz 1 Stuntz, Lindsey 1 Viteri, Scott 1 Wilson, Amalee 1 Woo, Maverick 1 Wu, Haoze all top 5 Serials 6 Formal Methods in System Design 5 Journal of Automated Reasoning 2 Logical Methods in Computer Science 1 Annals of Mathematics and Artificial Intelligence 1 Theory and Practice of Logic Programming 1 Journal of Satisfiability, Boolean Modeling and Computation Fields 63 Computer science (68-XX) 16 Mathematical logic and foundations (03-XX) 2 General and overarching topics; collections (00-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 47 Publications have been cited 345 times in 231 Documents Cited by ▼ Year ▼ Satisfiability modulo theories. Zbl 1392.68379Barrett, Clark; Tinelli, Cesare 29 2018 Splitting on demand in SAT modulo theories. Zbl 1165.68480Barrett, Clark; Nieuwenhuis, Robert; Oliveras, Albert; Tinelli, Cesare 24 2006 CVC Lite: A new implementation of the cooperating validity checker – Category B. Zbl 1103.68605Barrett, Clark; Berezin, Sergey 22 2004 CVC: A cooperating validity checker. Zbl 1010.68720Stump, Aaron; Barrett, Clark W.; Dill, David L. 19 2002 Checking satisfiability of first-order formulas by incremental translation to SAT. Zbl 1010.68531Barrett, Clark W.; Dill, David L.; Stump, Aaron 18 2002 Solving quantified verification conditions using satisfiability modulo theories. Zbl 1213.68376Ge, Yeting; Barrett, Clark; Tinelli, Cesare 17 2007 Quantifier instantiation techniques for finite model finding in SMT. Zbl 1381.68275Reynolds, Andrew; Tinelli, Cesare; Goel, Amit; Krstić, Sava; Deters, Morgan; Barrett, Clark 16 2013 Counterexample-guided quantifier instantiation for synthesis in SMT. Zbl 1381.68059Reynolds, Andrew; Deters, Morgan; Kuncak, Viktor; Tinelli, Cesare; Barrett, Clark 15 2015 Polite theories revisited. Zbl 1306.68147Jovanović, Dejan; Barrett, Clark 14 2010 An abstract decision procedure for a theory of inductive data types. Zbl 1129.68022Barrett, Clack; Shikanian, Igor; Tinelli, Cesare 14 2007 A generalization of Shostak’s method for combining decision procedures. Zbl 1057.68109Barrett, Clark W.; Dill, David L.; Stump, Aaron 13 2002 Cooperating theorem provers: a case study combining HOL-Light and CVC Lite. Zbl 1272.68362Mclaughlin, Sean; Barrett, Clark; Ge, Yeting 12 2006 Extending SMT solvers to higher-order logic. Zbl 07178968Barbosa, Haniel; Reynolds, Andrew; El Ouraoui, Daniel; Tinelli, Cesare; Barrett, Clark 10 2019 TVOC: A translation validator for optimizing compilers. Zbl 1081.68606Barrett, Clark; Fang, Yi; Goldberg, Benjamin; Hu, Ying; Pnueli, Amir; Zuck, Lenore 9 2005 Solving quantified verification conditions using satisfiability modulo theories. Zbl 1184.68461Ge, Yeting; Barrett, Clark; Tinelli, Cesare 8 2009 SMT-COMP: Satisfiability modulo theories competition. Zbl 1081.68607Barrett, Clark; Moura, Leonardo; Stump, Aaron 8 2005 An abstract decision procedure for satisfiability in the theory of recursive data types. Zbl 1277.68132Barrett, Clark; Shikanian, Igor; Tinelli, Cesare 7 2007 A decision procedure for regular membership and length constraints over unbounded strings. Zbl 1471.68119Liang, Tianyi; Tsiskaridze, Nestan; Reynolds, Andrew; Tinelli, Cesare; Barrett, Clark 6 2015 A new decision procedure for finite sets and cardinality constraints in SMT. Zbl 1475.68430Bansal, Kshitij; Reynolds, Andrew; Barrett, Clark; Tinelli, Cesare 5 2016 Deciding local theory extensions via E-matching. Zbl 1381.68280Bansal, Kshitij; Reynolds, Andrew; King, Tim; Barrett, Clark; Wies, Thomas 5 2015 Designing theory solvers with extensions. Zbl 1495.68239Reynolds, Andrew; Tinelli, Cesare; Jovanović, Dejan; Barrett, Clark 5 2017 Sharing is caring: combination of theories. Zbl 1348.68220Jovanović, Dejan; Barrett, Clark 5 2011 Fine grained SMT proofs for the theory of fixed-width bit-vectors. Zbl 1471.68143Hadarean, Liana; Barrett, Clark; Reynolds, Andrew; Tinelli, Cesare; Deters, Morgan 4 2015 A framework for cooperating decision procedures. Zbl 0963.68177Barrett, Clark W.; Dill, David L.; Stump, Aaron 4 2000 Syntax-guided rewrite rule enumeration for SMT solvers. Zbl 1441.68233Nötzli, Andres; Reynolds, Andrew; Barbosa, Haniel; Niemetz, Aina; Preiner, Mathias; Barrett, Clark; Tinelli, Cesare 4 2019 A practical approach to partial functions in CVC Lite. Zbl 1272.03136Berezin, Sergey; Barrett, Clark; Shikanian, Igor; Chechik, Marsha; Gurfinkel, Arie; Dill, David L. 4 2005 Counterexample-guided prophecy for model checking modulo the theory of arrays. Zbl 1467.68089Mann, Makai; Irfan, Ahmed; Griggio, Alberto; Padon, Oded; Barrett, Clark 4 2021 Refutation-based synthesis in SMT. Zbl 1427.68051Reynolds, Andrew; Kuncak, Viktor; Tinelli, Cesare; Barrett, Clark; Deters, Morgan 3 2019 Design and results of the first satisfiability modulo theories competition (SMT-COMP 2005). Zbl 1104.68719Barrett, Clark; de Moura, Leonardo; Stump, Aaron 3 2005 An efficient SMT solver for string constraints. Zbl 1404.68135Liang, Tianyi; Reynolds, Andrew; Tsiskaridze, Nestan; Tinelli, Cesare; Barrett, Clark; Deters, Morgan 3 2016 Relational constraint solving in SMT. Zbl 1494.68289Meng, Baoluo; Reynolds, Andrew; Tinelli, Cesare; Barrett, Clark 3 2017 Datatypes with shared selectors. Zbl 06958125Reynolds, Andrew; Viswanathan, Arjun; Barbosa, Haniel; Tinelli, Cesare; Barrett, Clark 3 2018 An SMT-based approach for verifying binarized neural networks. Zbl 1474.68188Amir, Guy; Wu, Haoze; Barrett, Clark; Katz, Guy 3 2021 DRAT-based bit-vector proofs in CVC4. Zbl 1441.68235Ozdemir, Alex; Niemetz, Aina; Preiner, Mathias; Zohar, Yoni; Barrett, Clark 3 2019 Reluplex: an efficient SMT solver for verifying deep neural networks. Zbl 1494.68167Katz, Guy; Barrett, Clark; Dill, David L.; Julian, Kyle; Kochenderfer, Mykel J. 3 2017 SMTCoq: a plug-in for integrating SMT solvers into Coq. Zbl 1494.68285Ekici, Burak; Mebsout, Alain; Tinelli, Cesare; Keller, Chantal; Katz, Guy; Reynolds, Andrew; Barrett, Clark 3 2017 Proofs in satisfiability modulo theories. Zbl 1431.68111Barrett, Clark; de Moura, Leonardo; Fontaine, Pascal 2 2015 Towards bit-width-independent proofs in SMT solvers. Zbl 07178987Niemetz, Aina; Preiner, Mathias; Reynolds, Andrew; Zohar, Yoni; Barrett, Clark; Tinelli, Cesare 2 2019 Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006). Zbl 1129.68498Barrett, Clark; de Moura, Leonardo; Stump, Aaron 2 2007 On solving quantified bit-vector constraints using invertibility conditions. Zbl 07388006Niemetz, Aina; Preiner, Mathias; Reynolds, Andrew; Barrett, Clark; Tinelli, Cesare 2 2021 Witness runs for counter machines. Zbl 1397.68122Barrett, Clark; Demri, Stéphane; Deters, Morgan 2 2013 Scaling up DPLL(T) string solvers using context-dependent simplification. Zbl 1494.68255Reynolds, Andrew; Woo, Maverick; Barrett, Clark; Brumley, David; Liang, Tianyi; Tinelli, Cesare 2 2017 Translation and run-time validation of loop transformations. Zbl 1083.68555Zuck, Lenore; Pnueli, Amir; Goldberg, Benjamin; Barrett, Clark; Fang, Yi; Hu, Ying 1 2005 Pointer analysis, conditional soundness, and proving the absence of errors. Zbl 1149.68348Conway, Christopher L.; Dams, Dennis; Namjoshi, Kedar S.; Barrett, Clark 1 2008 Combining SAT methods with non-clausal decision heuristics. Zbl 1272.68370Barrett, Clark; Donham, Jacob 1 2005 Being careful about theory combination. Zbl 1284.68518Jovanović, Dejan; Barrett, Clark 1 2013 Politeness and stable infiniteness: stronger together. Zbl 07437077Sheng, Ying; Zohar, Yoni; Ringeissen, Christophe; Reynolds, Andrew; Barrett, Clark; Tinelli, Cesare 1 2021 Counterexample-guided prophecy for model checking modulo the theory of arrays. Zbl 1467.68089Mann, Makai; Irfan, Ahmed; Griggio, Alberto; Padon, Oded; Barrett, Clark 4 2021 An SMT-based approach for verifying binarized neural networks. Zbl 1474.68188Amir, Guy; Wu, Haoze; Barrett, Clark; Katz, Guy 3 2021 On solving quantified bit-vector constraints using invertibility conditions. Zbl 07388006Niemetz, Aina; Preiner, Mathias; Reynolds, Andrew; Barrett, Clark; Tinelli, Cesare 2 2021 Politeness and stable infiniteness: stronger together. Zbl 07437077Sheng, Ying; Zohar, Yoni; Ringeissen, Christophe; Reynolds, Andrew; Barrett, Clark; Tinelli, Cesare 1 2021 Extending SMT solvers to higher-order logic. Zbl 07178968Barbosa, Haniel; Reynolds, Andrew; El Ouraoui, Daniel; Tinelli, Cesare; Barrett, Clark 10 2019 Syntax-guided rewrite rule enumeration for SMT solvers. Zbl 1441.68233Nötzli, Andres; Reynolds, Andrew; Barbosa, Haniel; Niemetz, Aina; Preiner, Mathias; Barrett, Clark; Tinelli, Cesare 4 2019 Refutation-based synthesis in SMT. Zbl 1427.68051Reynolds, Andrew; Kuncak, Viktor; Tinelli, Cesare; Barrett, Clark; Deters, Morgan 3 2019 DRAT-based bit-vector proofs in CVC4. Zbl 1441.68235Ozdemir, Alex; Niemetz, Aina; Preiner, Mathias; Zohar, Yoni; Barrett, Clark 3 2019 Towards bit-width-independent proofs in SMT solvers. Zbl 07178987Niemetz, Aina; Preiner, Mathias; Reynolds, Andrew; Zohar, Yoni; Barrett, Clark; Tinelli, Cesare 2 2019 Satisfiability modulo theories. Zbl 1392.68379Barrett, Clark; Tinelli, Cesare 29 2018 Datatypes with shared selectors. Zbl 06958125Reynolds, Andrew; Viswanathan, Arjun; Barbosa, Haniel; Tinelli, Cesare; Barrett, Clark 3 2018 Designing theory solvers with extensions. Zbl 1495.68239Reynolds, Andrew; Tinelli, Cesare; Jovanović, Dejan; Barrett, Clark 5 2017 Relational constraint solving in SMT. Zbl 1494.68289Meng, Baoluo; Reynolds, Andrew; Tinelli, Cesare; Barrett, Clark 3 2017 Reluplex: an efficient SMT solver for verifying deep neural networks. Zbl 1494.68167Katz, Guy; Barrett, Clark; Dill, David L.; Julian, Kyle; Kochenderfer, Mykel J. 3 2017 SMTCoq: a plug-in for integrating SMT solvers into Coq. Zbl 1494.68285Ekici, Burak; Mebsout, Alain; Tinelli, Cesare; Keller, Chantal; Katz, Guy; Reynolds, Andrew; Barrett, Clark 3 2017 Scaling up DPLL(T) string solvers using context-dependent simplification. Zbl 1494.68255Reynolds, Andrew; Woo, Maverick; Barrett, Clark; Brumley, David; Liang, Tianyi; Tinelli, Cesare 2 2017 A new decision procedure for finite sets and cardinality constraints in SMT. Zbl 1475.68430Bansal, Kshitij; Reynolds, Andrew; Barrett, Clark; Tinelli, Cesare 5 2016 An efficient SMT solver for string constraints. Zbl 1404.68135Liang, Tianyi; Reynolds, Andrew; Tsiskaridze, Nestan; Tinelli, Cesare; Barrett, Clark; Deters, Morgan 3 2016 Counterexample-guided quantifier instantiation for synthesis in SMT. Zbl 1381.68059Reynolds, Andrew; Deters, Morgan; Kuncak, Viktor; Tinelli, Cesare; Barrett, Clark 15 2015 A decision procedure for regular membership and length constraints over unbounded strings. Zbl 1471.68119Liang, Tianyi; Tsiskaridze, Nestan; Reynolds, Andrew; Tinelli, Cesare; Barrett, Clark 6 2015 Deciding local theory extensions via E-matching. Zbl 1381.68280Bansal, Kshitij; Reynolds, Andrew; King, Tim; Barrett, Clark; Wies, Thomas 5 2015 Fine grained SMT proofs for the theory of fixed-width bit-vectors. Zbl 1471.68143Hadarean, Liana; Barrett, Clark; Reynolds, Andrew; Tinelli, Cesare; Deters, Morgan 4 2015 Proofs in satisfiability modulo theories. Zbl 1431.68111Barrett, Clark; de Moura, Leonardo; Fontaine, Pascal 2 2015 Quantifier instantiation techniques for finite model finding in SMT. Zbl 1381.68275Reynolds, Andrew; Tinelli, Cesare; Goel, Amit; Krstić, Sava; Deters, Morgan; Barrett, Clark 16 2013 Witness runs for counter machines. Zbl 1397.68122Barrett, Clark; Demri, Stéphane; Deters, Morgan 2 2013 Being careful about theory combination. Zbl 1284.68518Jovanović, Dejan; Barrett, Clark 1 2013 Sharing is caring: combination of theories. Zbl 1348.68220Jovanović, Dejan; Barrett, Clark 5 2011 Polite theories revisited. Zbl 1306.68147Jovanović, Dejan; Barrett, Clark 14 2010 Solving quantified verification conditions using satisfiability modulo theories. Zbl 1184.68461Ge, Yeting; Barrett, Clark; Tinelli, Cesare 8 2009 Pointer analysis, conditional soundness, and proving the absence of errors. Zbl 1149.68348Conway, Christopher L.; Dams, Dennis; Namjoshi, Kedar S.; Barrett, Clark 1 2008 Solving quantified verification conditions using satisfiability modulo theories. Zbl 1213.68376Ge, Yeting; Barrett, Clark; Tinelli, Cesare 17 2007 An abstract decision procedure for a theory of inductive data types. Zbl 1129.68022Barrett, Clack; Shikanian, Igor; Tinelli, Cesare 14 2007 An abstract decision procedure for satisfiability in the theory of recursive data types. Zbl 1277.68132Barrett, Clark; Shikanian, Igor; Tinelli, Cesare 7 2007 Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006). Zbl 1129.68498Barrett, Clark; de Moura, Leonardo; Stump, Aaron 2 2007 Splitting on demand in SAT modulo theories. Zbl 1165.68480Barrett, Clark; Nieuwenhuis, Robert; Oliveras, Albert; Tinelli, Cesare 24 2006 Cooperating theorem provers: a case study combining HOL-Light and CVC Lite. Zbl 1272.68362Mclaughlin, Sean; Barrett, Clark; Ge, Yeting 12 2006 TVOC: A translation validator for optimizing compilers. Zbl 1081.68606Barrett, Clark; Fang, Yi; Goldberg, Benjamin; Hu, Ying; Pnueli, Amir; Zuck, Lenore 9 2005 SMT-COMP: Satisfiability modulo theories competition. Zbl 1081.68607Barrett, Clark; Moura, Leonardo; Stump, Aaron 8 2005 A practical approach to partial functions in CVC Lite. Zbl 1272.03136Berezin, Sergey; Barrett, Clark; Shikanian, Igor; Chechik, Marsha; Gurfinkel, Arie; Dill, David L. 4 2005 Design and results of the first satisfiability modulo theories competition (SMT-COMP 2005). Zbl 1104.68719Barrett, Clark; de Moura, Leonardo; Stump, Aaron 3 2005 Translation and run-time validation of loop transformations. Zbl 1083.68555Zuck, Lenore; Pnueli, Amir; Goldberg, Benjamin; Barrett, Clark; Fang, Yi; Hu, Ying 1 2005 Combining SAT methods with non-clausal decision heuristics. Zbl 1272.68370Barrett, Clark; Donham, Jacob 1 2005 CVC Lite: A new implementation of the cooperating validity checker – Category B. Zbl 1103.68605Barrett, Clark; Berezin, Sergey 22 2004 CVC: A cooperating validity checker. Zbl 1010.68720Stump, Aaron; Barrett, Clark W.; Dill, David L. 19 2002 Checking satisfiability of first-order formulas by incremental translation to SAT. Zbl 1010.68531Barrett, Clark W.; Dill, David L.; Stump, Aaron 18 2002 A generalization of Shostak’s method for combining decision procedures. Zbl 1057.68109Barrett, Clark W.; Dill, David L.; Stump, Aaron 13 2002 A framework for cooperating decision procedures. Zbl 0963.68177Barrett, Clark W.; Dill, David L.; Stump, Aaron 4 2000 all cited Publications top 5 cited Publications all top 5 Cited by 477 Authors 30 Barrett, Clark W. 24 Tinelli, Cesare 23 Reynolds, Andrew 10 Blanchette, Jasmin Christian 10 Fontaine, Pascal 7 Bonacina, Maria Paola 7 Griggio, Alberto 7 Ringeissen, Christophe 7 Sebastiani, Roberto 7 Zohar, Yoni 6 Niemetz, Aina 6 Preiner, Mathias 6 Ranise, Silvio 5 Barbosa, Haniel 5 Bruttomesso, Roberto 5 Cimatti, Alessandro 5 Ghilardi, Silvio 5 Stump, Aaron 4 de Moura, Leonardo 4 Déharbe, David 4 Deters, Morgan 4 Echenim, Mnacho 4 Kremer, Gereon 4 Kröning, Daniel 4 Kuncak, Viktor 4 Mora, Federico 4 Sharygina, Natasha 4 Sheng, Ying 4 Strichman, Ofer 4 Tourret, Sophie 3 Ábrahám, Erika 3 Alberti, Francesco 3 Bansal, Kshitij 3 Bentkamp, Alexander 3 Berzish, Murphy 3 Böhme, Sascha 3 Bromberger, Martin 3 Conchon, Sylvain 3 Cruanes, Simon 3 Day, Joel D. 3 Demri, Stéphane P. 3 Fleury, Mathias 3 Ganesh, Vijay 3 Irfan, Ahmed 3 Jovanović, Dejan 3 Krstic, Sava A. 3 Kulczynski, Mitja 3 Manea, Florin 3 Nötzli, Andres 3 Nowotka, Dirk 3 Padon, Oded 3 Vukmirović, Petar 3 Weidenbach, Christoph 2 Biere, Armin 2 Bozzano, Marco 2 Chistikov, Dmitry V. 2 Chocron, Paula 2 Claessen, Koen 2 Cristiá, Maximiliano 2 Czerwiński, Wojciech 2 de Nivelle, Hans 2 De Oliveira, Diego Caminha B. 2 Giunchiglia, Enrico 2 Grégoire, Benjamin 2 Gu, Ming 2 Gupta, Ashutosh 2 Hofman, Piotr 2 Iosif, Radu 2 Janota, Mikoláš 2 Järvisalo, Matti 2 Johansen, Christian 2 Johansson, Moa 2 Johnson, Taylor T. 2 Junttila, Tommi A. 2 Lange, Jane 2 Liang, Tianyi 2 Lierler, Yuliya 2 Luteberget, Bjørnar 2 Mann, Makai 2 Maratea, Marco 2 Marques-Silva, João P. 2 Meier, Andreas 2 Meseguer Guaita, José 2 Nguyen, Huu Hai 2 Nummelin, Visa 2 Pagani, Elena 2 Paulson, Lawrence Charles 2 Pilipczuk, Michał 2 Pnueli, Amir 2 Rossi, Gianfranco 2 Schurr, Hans-Jörg 2 Shankar, Natarajan 2 Siegel, Stephen F. 2 Skeirik, Stephen 2 Solar-Lezama, Armando 2 Sorge, Volker 2 Steffen, Martin 2 Sturm, Thomas 2 Sutcliffe, Geoff 2 Tran, Duc-Khanh ...and 377 more Authors all top 5 Cited in 33 Serials 42 Journal of Automated Reasoning 18 Formal Methods in System Design 9 Information and Computation 5 Artificial Intelligence 4 Formal Aspects of Computing 4 Journal of Logical and Algebraic Methods in Programming 3 Theoretical Computer Science 3 Journal of Symbolic Computation 3 Annals of Mathematics and Artificial Intelligence 3 Logical Methods in Computer Science 2 Science of Computer Programming 2 Theory and Practice of Logic Programming 2 ACM Transactions on Computational Logic 2 Mathematics in Computer Science 1 Acta Informatica 1 Information Processing Letters 1 Journal of Computer and System Sciences 1 International Journal of Parallel Programming 1 International Journal of Approximate Reasoning 1 AI Communications 1 Journal of Global Optimization 1 Designs, Codes and Cryptography 1 Distributed Computing 1 Journal of Applied Non-Classical Logics 1 The Journal of Artificial Intelligence Research (JAIR) 1 Constraints 1 Theory of Computing Systems 1 Fundamenta Informaticae 1 Journal of Machine Learning Research (JMLR) 1 Journal of Applied Logic 1 Journal of Zhejiang University. Science A 1 Algorithms 1 Central European Journal of Computer Science all top 5 Cited in 10 Fields 221 Computer science (68-XX) 73 Mathematical logic and foundations (03-XX) 7 Operations research, mathematical programming (90-XX) 4 Information and communication theory, circuits (94-XX) 3 Category theory; homological algebra (18-XX) 3 Numerical analysis (65-XX) 2 General and overarching topics; collections (00-XX) 1 Field theory and polynomials (12-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Biology and other natural sciences (92-XX) Citations by Year