Edit Profile (opens in new tab) Becker, Bernd Compute Distance To: Compute Author ID: becker.bernd Published as: Becker, Bernd; Becker, B.; Becker, Bernd W. more...less Homepage: http://ira.informatik.uni-freiburg.de/~becker/ External Links: MGP · Wikidata · dblp · GND · IdRef Documents Indexed: 73 Publications since 1982, including 3 Books 1 Further Contribution Co-Authors: 85 Co-Authors with 69 Joint Publications 1,393 Co-Co-Authors all top 5 Co-Authors 5 single-authored 17 Wimmer, Ralf D. 11 Drechsler, Rolf 10 Ábrahám, Erika 7 Molitor, Paul 7 Scholl, Christoph 7 Schubert, Tobias 6 Lewis, Matthew D. T. 5 Jansen, Nils 5 Katoen, Joost-Pieter 4 Braitling, Bettina 4 Herbstritt, Marc 4 Hermanns, Holger 4 Kolla, Reiner 4 Kupferschmid, Stefan 3 Ferrer Fioriti, Luis María 3 Günther, Wolfgang 3 Hartmann, Joachim 3 Hatefi, Hassan 3 Hotz, Günter 3 Sauer, Matthias 3 Sparmann, Uwe 3 Werchner, Ralph 2 Abbott, John A. 2 Bigatti, Anna Maria 2 Brain, Martin 2 Buchberger, Bruno 2 Burchard, Jan 2 Cimatti, Alessandro 2 Davenport, James Harold 2 England, Matthew 2 Eschbach, Thomas 2 Fontaine, Pascal 2 Forrest, Stephen 2 Griggio, Alberto 2 Keim, Martin 2 Kröning, Daniel 2 Marin, Paolo 2 Miller, Christian R. 2 Osthof, Hans Georg 2 Paxian, Tobias 2 Polian, Ilia 2 Reimer, Sven 2 Seiler, Werner M. 2 Steffen, Martin 2 Sturm, Thomas 2 Wimmer, Karina 1 Althaus, Ernst 1 Andres, Benjamin 1 Becker, Ruben 1 Behle, Markus 1 Corzilius, Florian 1 Czutro, Alexander 1 Dehnert, Christian 1 Dumitriu, Daniel 1 Ehlers, Rüdiger 1 Eisenbrand, Friedrich 1 Engelke, Piet 1 Fränzle, Martin 1 Gebser, Martin 1 Gitina, Karina 1 Große, Daniel 1 Hahn, Ralf 1 Harich, Thilo 1 Herde, Christian 1 Horáček, Jan 1 Junges, Sebastian 1 Karrenbauer, Andreas 1 Katelaan, Jens 1 Klaedtke, Felix 1 Kortus, Alexander 1 Kreuzer, Martin 1 Loup, Ulrich 1 Mohnke, Janett 1 Nist, Jennifer 1 Raiola, Pascal 1 Reddy, Sudhakar M. 1 Schaub, Torsten H. 1 Scheibler, Karsten 1 Schmiedle, Frank 1 Schönfeld, Robby 1 Simon, Hans-Ulrich 1 Strampp, Kelley 1 Theobald, Michael 1 Topcu, Ufuk 1 Weis, Thomas 1 Winterer, Leonore all top 5 Serials 3 Information and Computation 3 Formal Methods in System Design 2 Theoretical Computer Science 2 Annales Societatis Mathematicae Polonae. Series IV 2 2 Integration. The VLSI Journal 2 Journal of Satisfiability, Boolean Modeling and Computation 1 Acta Informatica 1 IEEE Transactions on Automatic Control 1 IEEE Transactions on Computers 1 SIAM Journal on Computing 1 International Journal of Parallel Programming 1 Journal of Information Processing and Cybernetics 1 Formal Aspects of Computing 1 AI Communications 1 Journal of Logic and Computation 1 Multiple-Valued Logic 1 Journal of Graph Algorithms and Applications 1 ACM Communications in Computer Algebra all top 5 Fields 65 Computer science (68-XX) 20 Information and communication theory, circuits (94-XX) 5 Combinatorics (05-XX) 3 Mathematical logic and foundations (03-XX) 3 Probability theory and stochastic processes (60-XX) 2 Operations research, mathematical programming (90-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Manifolds and cell complexes (57-XX) 1 Numerical analysis (65-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 52 Publications have been cited 172 times in 139 Documents Cited by ▼ Year ▼ How robust is the n-cube? Zbl 0647.68007Becker, Bernd; Simon, Hans-Ulrich 14 1988 BDDs in a branch and cut framework. Zbl 1121.90422Becker, Bernd; Behle, Markus; Eisenbrand, Friedrich; Wimmer, Ralf 13 2005 SC\(^2\): satisfiability checking meets symbolic computation. (Project paper). Zbl 1344.68198Ábrahám, Erika; Abbott, John; Becker, Bernd; Bigatti, Anna M.; Brain, Martin; Buchberger, Bruno; Cimatti, Alessandro; Davenport, James H.; England, Matthew; Fontaine, Pascal; Forrest, Stephen; Griggio, Alberto; Kroening, Daniel; Seiler, Werner M.; Sturm, Thomas 12 2016 PaMiraXT: parallel SAT solving with threads and message passing. Zbl 1190.68057Schubert, Tobias; Lewis, Matthew; Becker, Bernd 10 2009 On the optimal layout of planar graphs with fixed boundary. Zbl 0625.05020Becker, B.; Hotz, G. 9 1987 A symbiosis of interval constraint propagation and cylindrical algebraic decomposition. Zbl 1381.68274Loup, Ulrich; Scheibler, Karsten; Corzilius, Florian; Ábrahám, Erika; Becker, Bernd 8 2013 SIGREF – a symbolic bisimulation tool box. Zbl 1161.68631Wimmer, Ralf; Herbstritt, Marc; Hermanns, Holger; Strampp, Kelley; Becker, Bernd 7 2006 Preprocessing for DQBF. Zbl 1471.68264Wimmer, Ralf; Gitina, Karina; Nist, Jennifer; Scholl, Christoph; Becker, Bernd 6 2015 Counterexample generation for discrete-time Markov chains using bounded model checking. Zbl 1206.68195Wimmer, Ralf; Braitling, Bettina; Becker, Bernd 6 2009 Dynamic polynomial watchdog encoding for solving weighted maxsat. Zbl 06916298Paxian, Tobias; Reimer, Sven; Becker, Bernd 5 2018 Optimizing bounded model checking for linear hybrid systems. Zbl 1111.68493Ábrahám, Erika; Becker, Bernd; Klaedtke, Felix; Steffen, Martin 5 2005 On the relation between BDDs and FDDs. Zbl 0839.68022Becker, Bernd; Drechsler, Rolf; Werchner, Ralph 4 1995 Counterexample generation for discrete-time Markov models: an introductory survey. Zbl 1445.68130Ábrahám, Erika; Becker, Bernd; Dehnert, Christian; Jansen, Nils; Katoen, Joost-Pieter; Wimmer, Ralf 4 2014 Craig interpolation in the presence of non-linear constraints. Zbl 1348.68141Kupferschmid, Stefan; Becker, Bernd 4 2011 Thread-parallel integrated test pattern generator utilizing satisfiability analysis. Zbl 1197.68026Czutro, Alexander; Polian, Ilia; Lewis, Matthew; Engelke, Piet; Reddy, Sudhakar M.; Becker, Bernd 4 2010 Minimal critical subsystems for discrete-time Markov models. Zbl 1352.68167Wimmer, Ralf; Jansen, Nils; Ábrahám, Erika; Becker, Bernd; Katoen, Joost-Pieter 4 2012 Satisfiability problems for OFDDs. Zbl 0849.68057Werchner, Ralph; Harich, Thilo; Drechsler, Rolf; Becker, Bernd 3 1996 A uniform test approach for RCC-adders. Zbl 0716.94021Becker, Bernd; Sparmann, Uwe 3 1991 From DQBF to QBF by dependency elimination. Zbl 1496.68372Wimmer, Ralf; Karrenbauer, Andreas; Becker, Ruben; Scholl, Christoph; Becker, Bernd 3 2017 Dependency schemes for DQBF. Zbl 1475.68225Wimmer, Ralf; Scholl, Christoph; Wimmer, Karina; Becker, Bernd 3 2016 Minimal counterexamples for linear-time probabilistic verification. Zbl 1360.68604Wimmer, Ralf; Jansen, Nils; Ábrahám, Erika; Katoen, Joost-Pieter; Becker, Bernd 3 2014 Hierarchical counterexamples for discrete-time Markov chains. Zbl 1348.68139Jansen, Nils; Ábrahám, Erika; Katelaan, Jens; Wimmer, Ralf; Katoen, Joost-Pieter; Becker, Bernd 3 2011 Encoding techniques, Craig interpolants and bounded model checking for incomplete designs. Zbl 1306.68168Miller, Christian; Kupferschmid, Stefan; Lewis, Matthew; Becker, Bernd 3 2010 Orthogonal hypergraph drawing for improved visibility. Zbl 1161.68665Eschbach, Thomas; Guenther, Wolfgang; Becker, Bernd 3 2006 Graph-based function representation. Boolean and pseudo-boolean functions. (Graphenbasierte Funktionsdarstellung. Boolesche und Pseudo-Boolesche Funktionen.) Zbl 0914.06004Drechsler, Rolf; Becker, Bernd 2 1998 Verification of partial designs using incremental QBF. Zbl 1373.68382Miller, Christian; Marin, Paolo; Becker, Bernd 2 2015 Crossing reduction by windows optimization. Zbl 1037.68583Eschbach, Thomas; Günther, Wolfgang; Drechsler, Rolf; Becker, Bernd 2 2002 Laissez-faire caching for parallel #SAT solving. Zbl 1471.68175Burchard, Jan; Schubert, Tobias; Becker, Bernd 2 2015 Layouts with wires of balanced length. Zbl 0622.94033Becker, B.; Osthof, H. G. 2 1987 Equivalence checking of digital circuits. Fundamentals, principles, methods. With guest authors Bernd Becker and Christoph Scholl. Zbl 1053.68020Molitor, Paul; Mohnke, Janett 2 2004 Parallel SAT solving in bounded model checking. Zbl 1213.68359Ábrahám, Erika; Schubert, Tobias; Becker, Bernd; Fränzle, Martin; Herde, Christian 2 2011 Skolem functions for DQBF. Zbl 1398.68487Wimmer, Karina; Wimmer, Ralf; Scholl, Christoph; Becker, Bernd 1 2016 Integrating algebraic and SAT solvers. Zbl 1497.68546Horáček, Jan; Burchard, Jan; Becker, Bernd; Kreuzer, Martin 1 2017 Polynomial formal verification of multipliers. Zbl 1033.68075Keim, Martin; Drechsler, Rolf; Becker, Bernd; Martin, Michael; Molitor, Paul 1 2003 On WLCDs and the complexity of word-level decision diagrams — A lower bound for division. Zbl 1017.68068Scholl, Christoph; Becker, Bernd; Weis, Thomas 1 2002 Optimal-time multipliers and C-testability. Zbl 0714.94027Becker, Bernd; Hartmann, Joachim 1 1990 Conflict-based selection of branching rules. Zbl 1204.68199Herbstritt, Marc; Becker, Bernd 1 2004 OKFDDs versus OBDDs and OFDDs. Zbl 1412.68046Becker, Bernd; Drechsler, Rolf; Theobald, Michael 1 1995 Cost vs. time in stochastic games and Markov automata. Zbl 1369.68253Hatefi, Hassan; Braitling, Bettina; Wimmer, Ralf; Ferrer Fioriti, Luis María; Hermanns, Holger; Becker, Bernd 1 2015 Abstraction-based computation of reward measures for Markov automata. Zbl 1432.68217Braitling, Bettina; Ferrer Fioriti, Luis María; Hatefi, Hassan; Wimmer, Ralf; Becker, Bernd; Hermanns, Holger 1 2015 Incremental encoding and solving of cardinality constraints. Zbl 1448.68390Reimer, Sven; Sauer, Matthias; Schubert, Tobias; Becker, Bernd 1 2014 Incremental preprocessing methods for use in BMC. Zbl 1247.68167Kupferschmid, Stefan; Lewis, Matthew; Schubert, Tobias; Becker, Bernd 1 2011 An easily testable optimal-time VLSI-multiplier. Zbl 0602.94019Becker, Bernd 1 1987 Efficient testing of optimal time adders. Zbl 0604.94015Becker, Bernd 1 1986 Computations over finite monoids and their test complexity. Zbl 0743.68084Becker, Bernd; Sparmann, Uwe 1 1991 The demand for reliability in probabilistic verification. Zbl 1156.68480Wimmer, Ralf; Kortus, Alexander; Herbstritt, Marc; Becker, Bernd 1 2008 Integration of an LP solver into interval constraint propagation. Zbl 1342.68307Althaus, Ernst; Becker, Bernd; Dumitriu, Daniel; Kupferschmid, Stefan 1 2011 A logic-topological calculus for the construction of integrated circuits. I. (Ein logisch-topologischer Kalkül zur Konstruktion integrierter Schaltkreise. I.) Zbl 0617.94013Hotz, Günter; Becker, Bernd; Kolla, Reiner; Molitor, Paul 1 1986 On preprocessing for weighted MaxSAT. Zbl 1472.68185Paxian, Tobias; Raiola, Pascal; Becker, Bernd 1 2021 Strategy synthesis for POMDPs in robot planning via game-based abstractions. Zbl 07352056Winterer, Leonore; Junges, Sebastian; Wimmer, Ralf; Jansen, Nils; Topcu, Ufuk; Katoen, Joost-Pieter; Becker, Bernd 1 2021 Layouts with wires of balanced length. Zbl 0567.94028Becker, B.; Osthof, H. G. 1 1985 The (D)QBF preprocessor HQSpre – underlying theory and its implementation. Zbl 1484.68225Wimmer, Ralf; Scholl, Christoph; Becker, Bernd 1 2019 On preprocessing for weighted MaxSAT. Zbl 1472.68185Paxian, Tobias; Raiola, Pascal; Becker, Bernd 1 2021 Strategy synthesis for POMDPs in robot planning via game-based abstractions. Zbl 07352056Winterer, Leonore; Junges, Sebastian; Wimmer, Ralf; Jansen, Nils; Topcu, Ufuk; Katoen, Joost-Pieter; Becker, Bernd 1 2021 The (D)QBF preprocessor HQSpre – underlying theory and its implementation. Zbl 1484.68225Wimmer, Ralf; Scholl, Christoph; Becker, Bernd 1 2019 Dynamic polynomial watchdog encoding for solving weighted maxsat. Zbl 06916298Paxian, Tobias; Reimer, Sven; Becker, Bernd 5 2018 From DQBF to QBF by dependency elimination. Zbl 1496.68372Wimmer, Ralf; Karrenbauer, Andreas; Becker, Ruben; Scholl, Christoph; Becker, Bernd 3 2017 Integrating algebraic and SAT solvers. Zbl 1497.68546Horáček, Jan; Burchard, Jan; Becker, Bernd; Kreuzer, Martin 1 2017 SC\(^2\): satisfiability checking meets symbolic computation. (Project paper). Zbl 1344.68198Ábrahám, Erika; Abbott, John; Becker, Bernd; Bigatti, Anna M.; Brain, Martin; Buchberger, Bruno; Cimatti, Alessandro; Davenport, James H.; England, Matthew; Fontaine, Pascal; Forrest, Stephen; Griggio, Alberto; Kroening, Daniel; Seiler, Werner M.; Sturm, Thomas 12 2016 Dependency schemes for DQBF. Zbl 1475.68225Wimmer, Ralf; Scholl, Christoph; Wimmer, Karina; Becker, Bernd 3 2016 Skolem functions for DQBF. Zbl 1398.68487Wimmer, Karina; Wimmer, Ralf; Scholl, Christoph; Becker, Bernd 1 2016 Preprocessing for DQBF. Zbl 1471.68264Wimmer, Ralf; Gitina, Karina; Nist, Jennifer; Scholl, Christoph; Becker, Bernd 6 2015 Verification of partial designs using incremental QBF. Zbl 1373.68382Miller, Christian; Marin, Paolo; Becker, Bernd 2 2015 Laissez-faire caching for parallel #SAT solving. Zbl 1471.68175Burchard, Jan; Schubert, Tobias; Becker, Bernd 2 2015 Cost vs. time in stochastic games and Markov automata. Zbl 1369.68253Hatefi, Hassan; Braitling, Bettina; Wimmer, Ralf; Ferrer Fioriti, Luis María; Hermanns, Holger; Becker, Bernd 1 2015 Abstraction-based computation of reward measures for Markov automata. Zbl 1432.68217Braitling, Bettina; Ferrer Fioriti, Luis María; Hatefi, Hassan; Wimmer, Ralf; Becker, Bernd; Hermanns, Holger 1 2015 Counterexample generation for discrete-time Markov models: an introductory survey. Zbl 1445.68130Ábrahám, Erika; Becker, Bernd; Dehnert, Christian; Jansen, Nils; Katoen, Joost-Pieter; Wimmer, Ralf 4 2014 Minimal counterexamples for linear-time probabilistic verification. Zbl 1360.68604Wimmer, Ralf; Jansen, Nils; Ábrahám, Erika; Katoen, Joost-Pieter; Becker, Bernd 3 2014 Incremental encoding and solving of cardinality constraints. Zbl 1448.68390Reimer, Sven; Sauer, Matthias; Schubert, Tobias; Becker, Bernd 1 2014 A symbiosis of interval constraint propagation and cylindrical algebraic decomposition. Zbl 1381.68274Loup, Ulrich; Scheibler, Karsten; Corzilius, Florian; Ábrahám, Erika; Becker, Bernd 8 2013 Minimal critical subsystems for discrete-time Markov models. Zbl 1352.68167Wimmer, Ralf; Jansen, Nils; Ábrahám, Erika; Becker, Bernd; Katoen, Joost-Pieter 4 2012 Craig interpolation in the presence of non-linear constraints. Zbl 1348.68141Kupferschmid, Stefan; Becker, Bernd 4 2011 Hierarchical counterexamples for discrete-time Markov chains. Zbl 1348.68139Jansen, Nils; Ábrahám, Erika; Katelaan, Jens; Wimmer, Ralf; Katoen, Joost-Pieter; Becker, Bernd 3 2011 Parallel SAT solving in bounded model checking. Zbl 1213.68359Ábrahám, Erika; Schubert, Tobias; Becker, Bernd; Fränzle, Martin; Herde, Christian 2 2011 Incremental preprocessing methods for use in BMC. Zbl 1247.68167Kupferschmid, Stefan; Lewis, Matthew; Schubert, Tobias; Becker, Bernd 1 2011 Integration of an LP solver into interval constraint propagation. Zbl 1342.68307Althaus, Ernst; Becker, Bernd; Dumitriu, Daniel; Kupferschmid, Stefan 1 2011 Thread-parallel integrated test pattern generator utilizing satisfiability analysis. Zbl 1197.68026Czutro, Alexander; Polian, Ilia; Lewis, Matthew; Engelke, Piet; Reddy, Sudhakar M.; Becker, Bernd 4 2010 Encoding techniques, Craig interpolants and bounded model checking for incomplete designs. Zbl 1306.68168Miller, Christian; Kupferschmid, Stefan; Lewis, Matthew; Becker, Bernd 3 2010 PaMiraXT: parallel SAT solving with threads and message passing. Zbl 1190.68057Schubert, Tobias; Lewis, Matthew; Becker, Bernd 10 2009 Counterexample generation for discrete-time Markov chains using bounded model checking. Zbl 1206.68195Wimmer, Ralf; Braitling, Bettina; Becker, Bernd 6 2009 The demand for reliability in probabilistic verification. Zbl 1156.68480Wimmer, Ralf; Kortus, Alexander; Herbstritt, Marc; Becker, Bernd 1 2008 SIGREF – a symbolic bisimulation tool box. Zbl 1161.68631Wimmer, Ralf; Herbstritt, Marc; Hermanns, Holger; Strampp, Kelley; Becker, Bernd 7 2006 Orthogonal hypergraph drawing for improved visibility. Zbl 1161.68665Eschbach, Thomas; Guenther, Wolfgang; Becker, Bernd 3 2006 BDDs in a branch and cut framework. Zbl 1121.90422Becker, Bernd; Behle, Markus; Eisenbrand, Friedrich; Wimmer, Ralf 13 2005 Optimizing bounded model checking for linear hybrid systems. Zbl 1111.68493Ábrahám, Erika; Becker, Bernd; Klaedtke, Felix; Steffen, Martin 5 2005 Equivalence checking of digital circuits. Fundamentals, principles, methods. With guest authors Bernd Becker and Christoph Scholl. Zbl 1053.68020Molitor, Paul; Mohnke, Janett 2 2004 Conflict-based selection of branching rules. Zbl 1204.68199Herbstritt, Marc; Becker, Bernd 1 2004 Polynomial formal verification of multipliers. Zbl 1033.68075Keim, Martin; Drechsler, Rolf; Becker, Bernd; Martin, Michael; Molitor, Paul 1 2003 Crossing reduction by windows optimization. Zbl 1037.68583Eschbach, Thomas; Günther, Wolfgang; Drechsler, Rolf; Becker, Bernd 2 2002 On WLCDs and the complexity of word-level decision diagrams — A lower bound for division. Zbl 1017.68068Scholl, Christoph; Becker, Bernd; Weis, Thomas 1 2002 Graph-based function representation. Boolean and pseudo-boolean functions. (Graphenbasierte Funktionsdarstellung. Boolesche und Pseudo-Boolesche Funktionen.) Zbl 0914.06004Drechsler, Rolf; Becker, Bernd 2 1998 Satisfiability problems for OFDDs. Zbl 0849.68057Werchner, Ralph; Harich, Thilo; Drechsler, Rolf; Becker, Bernd 3 1996 On the relation between BDDs and FDDs. Zbl 0839.68022Becker, Bernd; Drechsler, Rolf; Werchner, Ralph 4 1995 OKFDDs versus OBDDs and OFDDs. Zbl 1412.68046Becker, Bernd; Drechsler, Rolf; Theobald, Michael 1 1995 A uniform test approach for RCC-adders. Zbl 0716.94021Becker, Bernd; Sparmann, Uwe 3 1991 Computations over finite monoids and their test complexity. Zbl 0743.68084Becker, Bernd; Sparmann, Uwe 1 1991 Optimal-time multipliers and C-testability. Zbl 0714.94027Becker, Bernd; Hartmann, Joachim 1 1990 How robust is the n-cube? Zbl 0647.68007Becker, Bernd; Simon, Hans-Ulrich 14 1988 On the optimal layout of planar graphs with fixed boundary. Zbl 0625.05020Becker, B.; Hotz, G. 9 1987 Layouts with wires of balanced length. Zbl 0622.94033Becker, B.; Osthof, H. G. 2 1987 An easily testable optimal-time VLSI-multiplier. Zbl 0602.94019Becker, Bernd 1 1987 Efficient testing of optimal time adders. Zbl 0604.94015Becker, Bernd 1 1986 A logic-topological calculus for the construction of integrated circuits. I. (Ein logisch-topologischer Kalkül zur Konstruktion integrierter Schaltkreise. I.) Zbl 0617.94013Hotz, Günter; Becker, Bernd; Kolla, Reiner; Molitor, Paul 1 1986 Layouts with wires of balanced length. Zbl 0567.94028Becker, B.; Osthof, H. G. 1 1985 all cited Publications top 5 cited Publications all top 5 Cited by 290 Authors 16 Becker, Bernd 8 Katoen, Joost-Pieter 7 Wimmer, Ralf D. 6 Ábrahám, Erika 6 Davenport, James Harold 6 Junges, Sebastian 5 Ciré, André Augusto 5 England, Matthew 5 van Hoeve, Willem-Jan 4 Cimatti, Alessandro 4 Jansen, Nils 4 Kremer, Gereon 4 Scholl, Christoph 3 Beyersdorff, Olaf 3 Bright, Curtis 3 Drechsler, Rolf 3 Eggers, Andreas 3 Fränzle, Martin 3 Ganesh, Vijay 3 Griggio, Alberto 3 Hermanns, Holger 3 Kotsireas, Ilias S. 3 Löbbing, Martin 3 Lonsing, Florian 3 Lozano, Leonardo 3 Martins, Ruben 3 Sturm, Thomas 3 Teige, Tino 3 Wang, Shiying 3 Wegener, Ingo 2 Blinkhorn, Joshua 2 Bollig, Beate 2 Bonabeau, Eric 2 Češka, Milan 2 Chen, Mingshuai 2 Chew, Leroy 2 Colbourn, Charles J. 2 De Bonis, Annalisa 2 Dehnert, Christian 2 Eades, Peter 2 Egly, Uwe 2 Fichte, Johannes Klaus 2 Hecher, Markus 2 Hooker, John N. jun. 2 Joshi, Saurabh 2 Latifi, Shahram 2 Lynce, Inês 2 Manquinho, Vasco M. 2 Mover, Sergio 2 Rasga, João 2 Sarkar, Kaushik 2 Schmidt, Renate A. 2 Semenov, Aleksandr Anatol’evich 2 Sernadas, Amilcar C. 2 Sernadas, Cristina S. 2 Seshia, Sanjit Arunkumar 2 Síč, Juraj 2 Smith, J. Cole 2 Suda, Martin 2 Tinelli, Cesare 2 Tonetta, Stefano 2 Vaccaro, Ugo 2 Woltran, Stefan 2 Yang, Yuxing 2 Zhang, Guozhen 1 Abbott, John A. 1 Abreu, Salvador 1 Ahmed, Tanbir 1 Althaus, Ernst 1 An, Jie 1 Andriushchenko, Roman 1 Balbach, Frank J. 1 Barrett, Clark W. 1 Batz, Kevin 1 Bauer, Matthew Steven 1 Beck, J. Christopher 1 Behle, Markus 1 Berg, Jeremias 1 Bigatti, Anna Maria 1 Böde, Eckard 1 Boulgakov, Alexandre 1 Bradford, Russell J. 1 Brain, Martin 1 Braitling, Bettina 1 Brandes, Ulrik 1 Bridge, James P. 1 Brown, Christopher W. 1 Bruni, Renato 1 Bu, Lei 1 Buchberger, Bruno 1 Bulychev, Peter E. 1 Burchard, Jan 1 Caniou, Yves 1 Carr, Steven 1 Castro, Margarita Paz 1 Chadha, Rohit 1 Christian, Tjandraatmadja 1 Codognet, Philippe 1 Cohen, Gérard Denis 1 Colin de Verdière, Éric ...and 190 more Authors all top 5 Cited in 49 Serials 8 Theoretical Computer Science 7 Journal of Symbolic Computation 7 Formal Methods in System Design 6 INFORMS Journal on Computing 5 Information Processing Letters 5 Constraints 4 Discrete Applied Mathematics 3 Information Sciences 3 Journal of Automated Reasoning 3 Formal Aspects of Computing 3 Mathematics in Computer Science 3 Journal of Satisfiability, Boolean Modeling and Computation 2 Acta Informatica 2 Artificial Intelligence 2 Programming and Computer Software 2 Information and Computation 2 Annals of Mathematics and Artificial Intelligence 1 Computer Methods in Applied Mechanics and Engineering 1 Journal of Combinatorial Theory. Series A 1 Journal of Soviet Mathematics 1 Operations Research 1 Quaestiones Mathematicae 1 Operations Research Letters 1 Computer Aided Geometric Design 1 Journal of Computer Science and Technology 1 Algorithmica 1 International Journal of Parallel Programming 1 Computers & Operations Research 1 Computational Geometry 1 The Journal of Supercomputing 1 International Journal of Computer Mathematics 1 Mathematical Programming. Series A. Series B 1 Opuscula Mathematica 1 The Journal of Artificial Intelligence Research (JAIR) 1 Computer Science Journal of Moldova 1 Journal of Heuristics 1 Theory of Computing Systems 1 Journal of Combinatorial Optimization 1 RAIRO. Theoretical Informatics and Applications 1 The Journal of Logic and Algebraic Programming 1 Theory and Practice of Logic Programming 1 Journal of Applied Logic 1 Discrete Optimization 1 Logica Universalis 1 Nonlinear Analysis. Hybrid Systems 1 ACM Communications in Computer Algebra 1 Mathematical Programming Computation 1 Journal of Logical and Algebraic Methods in Programming 1 Prikladnaya Diskretnaya Matematika all top 5 Cited in 17 Fields 112 Computer science (68-XX) 22 Operations research, mathematical programming (90-XX) 16 Combinatorics (05-XX) 12 Mathematical logic and foundations (03-XX) 12 Information and communication theory, circuits (94-XX) 8 Probability theory and stochastic processes (60-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 3 Numerical analysis (65-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Systems theory; control (93-XX) 2 Commutative algebra (13-XX) 1 General and overarching topics; collections (00-XX) 1 Number theory (11-XX) 1 Algebraic geometry (14-XX) 1 Ordinary differential equations (34-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Biology and other natural sciences (92-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.