Edit Profile (opens in new tab) van Maaren, Hans Compute Distance To: Compute Author ID: van-maaren.hans Published as: van Maaren, Hans; van Maaren, H.; Van Maaren, Hans; Van Maaren, H. more...less Documents Indexed: 43 Publications since 1974 3 Contributions as Editor Co-Authors: 20 Co-Authors with 37 Joint Publications 609 Co-Co-Authors all top 5 Co-Authors 9 single-authored 13 Heule, Marijn J. H. 7 Warners, Joost P. 4 Dang, Chuangyin 4 van Norden, Linda 3 de Klerk, Etienne 3 Walsh, Toby 2 Biere, Armin 2 De Smet, Hugo J. P. 2 Odijk, Michiel A. 1 Aarts, Johannes Michael 1 Dufour, Mark 1 Evers, Joseph J. M. 1 Gent, Ian Philip 1 Herwig, P. R. 1 Romeijn, H. Edwin 1 Schaafsma, Bas 1 Terlaky, Tamás 1 van Lambalgen, P. M. 1 van Zwieten, Joris 1 Wieringa, Siert all top 5 Serials 5 Discrete Applied Mathematics 3 Indagationes Mathematicae 3 Annals of Mathematics and Artificial Intelligence 3 Frontiers in Artificial Intelligence and Applications 3 Journal of Satisfiability, Boolean Modeling and Computation 2 Operations Research Letters 1 Information Processing Letters 1 Acta Mathematica Vietnamica 1 Cahiers du Centre d’Études de Recherche Opérationnelle 1 Commentationes Mathematicae Universitatis Carolinae 1 Journal of Computational and Applied Mathematics 1 Mathematics of Operations Research 1 Information and Computation 1 Computers & Operations Research 1 Journal of Automated Reasoning 1 Nieuw Archief voor Wiskunde. Vierde Serie 1 Computational Optimization and Applications 1 The Electronic Journal of Combinatorics 1 Journal of Combinatorial Optimization 1 Nederlandse Akademie van Wetenschappen. Proceedings. Series A. Indagationes Mathematicae all top 5 Fields 27 Computer science (68-XX) 18 Operations research, mathematical programming (90-XX) 4 Convex and discrete geometry (52-XX) 4 General topology (54-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Combinatorics (05-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 3 General algebraic systems (08-XX) 2 General and overarching topics; collections (00-XX) 2 Mathematical logic and foundations (03-XX) 2 Numerical analysis (65-XX) 1 Field theory and polynomials (12-XX) 1 Commutative algebra (13-XX) 1 Real functions (26-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Algebraic topology (55-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 35 Publications have been cited 296 times in 256 Documents Cited by ▼ Year ▼ Handbook of satisfiability. Zbl 1183.68568 164 2009 A two-phase algorithm for solving a class of hard satisfiability problems. Zbl 0960.90100Warners, Joost P.; van Maaren, Hans 10 1998 Duality principles in mathematics and their relations to conjugate functions. Zbl 0598.49009Evers, J. J. M.; van Maaren, H. 9 1985 A new method to construct lower bounds for van der Waerden numbers. Zbl 1115.05092Herwig, P. R.; Heule, M. J. H.; van Lambalgen, P. M.; van Maaren, H. 9 2007 March_eq: Implementing additional reasoning into an efficient look-ahead SAT solver. Zbl 1122.68599Heule, Marijn; Dufour, Mark; van Zwieten, Joris; van Maaren, Hans 8 2005 A short note on some tractable cases of the satisfiability problem. Zbl 1046.68542van Maaren, Hans 7 2000 Finding guaranteed MUSes fast. Zbl 1138.68555van Maaren, Hans; Wieringa, Siert 6 2008 On semidefinite programming relaxations of \((2+p)\)-SAT. Zbl 1050.68050de Klerk, E.; van Maaren, H. 5 2003 SAT2000. Highlights of satisfiability research in the year 2000. 3rd international workshop, September 1998. Zbl 0963.00028 5 2000 Relaxations of the satisfiability problem using semidefinite programming. Zbl 0965.03017de Klerk, Etienne; van Maaren, Hans; Warners, Joost P. 5 2000 A simplicial approach to the determination of an integer point of a simplex. Zbl 0977.90027Dang, Chuangyin; van Maaren, Hans 5 1998 Sums of squares, satisfiability and maximum satisfiability. Zbl 1128.68489van Maaren, Hans; van Norden, Linda 4 2005 Solving satisfiability problems using elliptic approximations – effective branching rules. Zbl 0965.68026Warners, Joost P.; van Maaren, Hans 4 2000 Relaxations of the satisfiability problem using semidefinite programming. Zbl 0979.68050de Klerk, Etienne; van Maaren, Hans; Warners, Joost P. 4 2000 Elliptic approximations of propositional formulae. Zbl 0941.68063van Maaren, Hans 4 1999 On the use of second order derivatives for the satisfiability problem. Zbl 0889.68075van Maaren, Hans 4 1997 Dynamic symmetry breaking by simulating Zykov contraction. Zbl 1247.68260Schaafsma, Bas; Heule, Marijn J. H.; van Maaren, Hans 4 2009 Hidden threshold phenomena for fixed-density SAT-formulae. Zbl 1204.68214van Maaren, Hans; van Norden, Linda 4 2004 Improved solutions to the Steiner triple covering problem. Zbl 1338.68207Odijk, Michiel A.; van Maaren, Hans 4 1998 Effective incorporation of double look-ahead procedures. Zbl 1214.68356Heule, Marijn; van Maaren, Hans 3 2007 Aligning CNF- and equivalence-reasoning. Zbl 1122.68600Heule, Marijn; van Maaren, Hans 3 2005 Simplicial pivoting algorithms for a tractable class of integer programs. Zbl 0994.90101Van Maaren, H.; Dang, C. 3 2002 Solving satisfiability problems using elliptic approximations. A note on volumes and weights. Zbl 1010.68070van Maaren, Hans; Warners, Joost P. 2 2003 Parallel SAT solving using bit-level operations. Zbl 1170.68594Heule, Marijn J. H.; van Maaren, Hans 2 2008 Pseudo-ordered fields. Zbl 0292.12105van Maaren, H. 2 1974 Sums of squares based approximation algorithms for MAX-SAT. Zbl 1152.68058van Maaren, H.; van Norden, L.; Heule, M. J. H. 2 2008 An arbitrary starting variable dimension algorithm for computing an integer point of a simplex. Zbl 0970.90054Dang, Chuangyin; van Maaren, Hans 2 1999 Recognition of tractable satisfiability problems through balanced polynomial representations. Zbl 0943.68061Warners, Joost P.; van Maaren, Hans 2 2000 Generation of classes of robust periodic railway timetables. Zbl 1111.90123Odijk, Michiel A.; Romeijn, H. Edwin; van Maaren, Hans 2 2006 March_dl: adding adaptive heuristics and a new branching strategy. Zbl 1116.68085Heule, Marijn J. H.; van Maaren, Hans 2 2006 Handbook of satisfiability. In 2 parts. 2nd updated and revised edition. Zbl 1456.68001 2 2021 Whose side are you on? Finding solutions in a biased search-tree. Zbl 1170.68595Heule, Marijn J. H.; van Maaren, Hans 1 2008 Bounds and fast approximation algorithms for binary quadratic optimzation problems with application to MAX 2SAT. Zbl 0964.90041van Maaren, Hans; Warners, Joost P. 1 2000 Computing an integer point of a simplex with an arbitrary starting homotopy-like simplicial algorithm. Zbl 1041.65049Dang, Chuangyin; van Maaren, Hans 1 2001 Inverse barriers and CES-functions in linear programming. Zbl 0889.90111van Maaren, H.; Terlaky, T. 1 1997 Handbook of satisfiability. In 2 parts. 2nd updated and revised edition. Zbl 1456.68001 2 2021 Handbook of satisfiability. Zbl 1183.68568 164 2009 Dynamic symmetry breaking by simulating Zykov contraction. Zbl 1247.68260Schaafsma, Bas; Heule, Marijn J. H.; van Maaren, Hans 4 2009 Finding guaranteed MUSes fast. Zbl 1138.68555van Maaren, Hans; Wieringa, Siert 6 2008 Parallel SAT solving using bit-level operations. Zbl 1170.68594Heule, Marijn J. H.; van Maaren, Hans 2 2008 Sums of squares based approximation algorithms for MAX-SAT. Zbl 1152.68058van Maaren, H.; van Norden, L.; Heule, M. J. H. 2 2008 Whose side are you on? Finding solutions in a biased search-tree. Zbl 1170.68595Heule, Marijn J. H.; van Maaren, Hans 1 2008 A new method to construct lower bounds for van der Waerden numbers. Zbl 1115.05092Herwig, P. R.; Heule, M. J. H.; van Lambalgen, P. M.; van Maaren, H. 9 2007 Effective incorporation of double look-ahead procedures. Zbl 1214.68356Heule, Marijn; van Maaren, Hans 3 2007 Generation of classes of robust periodic railway timetables. Zbl 1111.90123Odijk, Michiel A.; Romeijn, H. Edwin; van Maaren, Hans 2 2006 March_dl: adding adaptive heuristics and a new branching strategy. Zbl 1116.68085Heule, Marijn J. H.; van Maaren, Hans 2 2006 March_eq: Implementing additional reasoning into an efficient look-ahead SAT solver. Zbl 1122.68599Heule, Marijn; Dufour, Mark; van Zwieten, Joris; van Maaren, Hans 8 2005 Sums of squares, satisfiability and maximum satisfiability. Zbl 1128.68489van Maaren, Hans; van Norden, Linda 4 2005 Aligning CNF- and equivalence-reasoning. Zbl 1122.68600Heule, Marijn; van Maaren, Hans 3 2005 Hidden threshold phenomena for fixed-density SAT-formulae. Zbl 1204.68214van Maaren, Hans; van Norden, Linda 4 2004 On semidefinite programming relaxations of \((2+p)\)-SAT. Zbl 1050.68050de Klerk, E.; van Maaren, H. 5 2003 Solving satisfiability problems using elliptic approximations. A note on volumes and weights. Zbl 1010.68070van Maaren, Hans; Warners, Joost P. 2 2003 Simplicial pivoting algorithms for a tractable class of integer programs. Zbl 0994.90101Van Maaren, H.; Dang, C. 3 2002 Computing an integer point of a simplex with an arbitrary starting homotopy-like simplicial algorithm. Zbl 1041.65049Dang, Chuangyin; van Maaren, Hans 1 2001 A short note on some tractable cases of the satisfiability problem. Zbl 1046.68542van Maaren, Hans 7 2000 SAT2000. Highlights of satisfiability research in the year 2000. 3rd international workshop, September 1998. Zbl 0963.00028 5 2000 Relaxations of the satisfiability problem using semidefinite programming. Zbl 0965.03017de Klerk, Etienne; van Maaren, Hans; Warners, Joost P. 5 2000 Solving satisfiability problems using elliptic approximations – effective branching rules. Zbl 0965.68026Warners, Joost P.; van Maaren, Hans 4 2000 Relaxations of the satisfiability problem using semidefinite programming. Zbl 0979.68050de Klerk, Etienne; van Maaren, Hans; Warners, Joost P. 4 2000 Recognition of tractable satisfiability problems through balanced polynomial representations. Zbl 0943.68061Warners, Joost P.; van Maaren, Hans 2 2000 Bounds and fast approximation algorithms for binary quadratic optimzation problems with application to MAX 2SAT. Zbl 0964.90041van Maaren, Hans; Warners, Joost P. 1 2000 Elliptic approximations of propositional formulae. Zbl 0941.68063van Maaren, Hans 4 1999 An arbitrary starting variable dimension algorithm for computing an integer point of a simplex. Zbl 0970.90054Dang, Chuangyin; van Maaren, Hans 2 1999 A two-phase algorithm for solving a class of hard satisfiability problems. Zbl 0960.90100Warners, Joost P.; van Maaren, Hans 10 1998 A simplicial approach to the determination of an integer point of a simplex. Zbl 0977.90027Dang, Chuangyin; van Maaren, Hans 5 1998 Improved solutions to the Steiner triple covering problem. Zbl 1338.68207Odijk, Michiel A.; van Maaren, Hans 4 1998 On the use of second order derivatives for the satisfiability problem. Zbl 0889.68075van Maaren, Hans 4 1997 Inverse barriers and CES-functions in linear programming. Zbl 0889.90111van Maaren, H.; Terlaky, T. 1 1997 Duality principles in mathematics and their relations to conjugate functions. Zbl 0598.49009Evers, J. J. M.; van Maaren, H. 9 1985 Pseudo-ordered fields. Zbl 0292.12105van Maaren, H. 2 1974 all cited Publications top 5 cited Publications all top 5 Cited by 513 Authors 16 Marques-Silva, João P. 8 Biere, Armin 8 Kullmann, Oliver 7 Heule, Marijn J. H. 7 Ignatyev, Alexey A. 7 Semenov, Aleksandr Anatol’evich 7 van Maaren, Hans 6 Janota, Mikoláš 6 Järvisalo, Matti 6 Schaub, Torsten H. 5 Hoos, Holger H. 5 Mencía, Carlos 5 Seidl, Martina 5 Weidenbach, Christoph 4 Ábrahám, Erika 4 Anjos, Miguel F. 4 Kochemazov, Stepan 4 Marić, Filip 4 Ryvchin, Vadim 4 Saïs, Lakhdar 4 Sebastiani, Roberto 4 Warners, Joost P. 4 Zaikin, Oleg Sergeevich 3 Bruni, Renato 3 Dang, Chuangyin 3 Davenport, James Harold 3 England, Matthew 3 Fleury, Mathias 3 Giunchiglia, Enrico 3 Griggio, Alberto 3 Hamadi, Youssef 3 Jabbour, Said 3 Kimura, Kei 3 Kotsireas, Ilias S. 3 Levy, Jordi 3 Leyton-Brown, Kevin 3 Lindauer, Marius 3 Makino, Kazuhisa 3 Maratea, Marco 3 Nadel, Alexander 3 Strichman, Ofer 3 Sturm, Thomas 3 Subramani, Krishnan 3 Szeider, Stefan 2 Arif, M. Fareed 2 Banbara, Mutsunori 2 Becker, Bernd 2 Blanchette, Jasmin Christian 2 Bofill, Miquel 2 Bonet, Maria Luisa 2 Bright, Curtis 2 Buss, Sam 2 Chen, Jian-er 2 Cimatti, Alessandro 2 Cocco, Simona 2 Coll, Jordi 2 Fontaine, Pascal 2 Fröhlich, Andreas M. 2 Ganesh, Vijay 2 Gebser, Martin 2 Giráldez-Cru, Jesús 2 Guller, Dušan 2 Hyttinen, Antti 2 Ibaraki, Toshihide 2 Kauers, Manuel 2 Kaufmann, Benjamin 2 Kremer, Gereon 2 Kröning, Daniel 2 Li, Chumin 2 Lonsing, Florian 2 Lynce, Inês 2 Monasson, Rémi 2 Morgado, António 2 Nightingale, Peter W. 2 Ordyniak, Sebastian 2 Otpuschennikov, Ilya V. 2 Otpushchennikov, Il’ya Vladimirovich 2 Passerini, Andrea 2 Peñaloza, Rafael 2 Piette, Cédric 2 Previti, Alessandro 2 Revuelta, M. Pastora 2 Ricca, Francesco 2 Sabharwal, Ashish 2 Sahai, Tuhin 2 Sanz Domínguez, María Isabel 2 Selman, Bart 2 Singer, Ivan 2 Soeken, Mathias 2 Soh, Takehide 2 Suda, Martin 2 Suy, Josep 2 Thimm, Matthias 2 Tinelli, Cesare 2 Trentin, Patrick 2 Van Gelder, Allen 2 Vieira, Manuel V. C. 2 Villaret, Mateu 2 Wallner, Johannes Peter 2 Wang, Jianxin ...and 413 more Authors all top 5 Cited in 73 Serials 28 Artificial Intelligence 19 Discrete Applied Mathematics 12 Journal of Automated Reasoning 11 Theoretical Computer Science 8 Annals of Mathematics and Artificial Intelligence 5 Journal of Symbolic Computation 5 Constraints 5 Theory and Practice of Logic Programming 5 Journal of Satisfiability, Boolean Modeling and Computation 4 International Journal of Approximate Reasoning 3 Journal of Optimization Theory and Applications 3 Computers & Operations Research 3 Annals of Operations Research 3 ACM Transactions on Computational Logic 2 Acta Informatica 2 Annali di Matematica Pura ed Applicata. Serie Quarta 2 Journal of Computational and Applied Mathematics 2 Operations Research Letters 2 Algorithmica 2 Formal Aspects of Computing 2 Automation and Remote Control 2 The Electronic Journal of Combinatorics 2 The Journal of Artificial Intelligence Research (JAIR) 2 Journal of Heuristics 2 Optimization Letters 2 Logical Methods in Computer Science 1 Computers & Mathematics with Applications 1 Information Processing Letters 1 Journal of Mathematical Analysis and Applications 1 Computing 1 Fuzzy Sets and Systems 1 Information Sciences 1 Journal of Combinatorial Theory. Series A 1 Journal of Computer and System Sciences 1 Journal of Number Theory 1 Journal of Pure and Applied Algebra 1 Mathematische Annalen 1 SIAM Journal on Computing 1 Annales de l’Institut Henri Poincaré. Analyse Non Linéaire 1 Journal of Computer Science and Technology 1 Japan Journal of Industrial and Applied Mathematics 1 Computational Geometry 1 International Journal of Algebra and Computation 1 European Journal of Operational Research 1 Zeitschrift für Operations Research. Serie A: Theorie 1 Bulletin of the American Mathematical Society. New Series 1 Mathematical Programming. Series A. Series B 1 Cybernetics and Systems Analysis 1 Computational Complexity 1 Experimental Mathematics 1 Advances in Applied Clifford Algebras 1 Top 1 Mathematical Problems in Engineering 1 Doklady Mathematics 1 Nonlinear Dynamics 1 Optimization Methods & Software 1 Journal of Applied Mathematics and Decision Sciences 1 Fundamenta Informaticae 1 Journal of Nonlinear and Convex Analysis 1 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 1 Computer Languages, Systems & Structures 1 4OR 1 ACM Journal of Experimental Algorithmics 1 Fuzzy Optimization and Decision Making 1 Fixed Point Theory and Applications 1 Journal of Statistical Mechanics: Theory and Experiment 1 Mathematics in Computer Science 1 Diskretnyĭ Analiz i Issledovanie Operatsiĭ 1 Journal of Theoretical Biology 1 Frontiers of Computer Science 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 all top 5 Cited in 29 Fields 194 Computer science (68-XX) 54 Operations research, mathematical programming (90-XX) 32 Mathematical logic and foundations (03-XX) 17 Combinatorics (05-XX) 5 Order, lattices, ordered algebraic structures (06-XX) 5 Number theory (11-XX) 5 Biology and other natural sciences (92-XX) 4 Calculus of variations and optimal control; optimization (49-XX) 4 Convex and discrete geometry (52-XX) 4 Numerical analysis (65-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 Information and communication theory, circuits (94-XX) 3 General and overarching topics; collections (00-XX) 3 Statistics (62-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Functional analysis (46-XX) 2 Probability theory and stochastic processes (60-XX) 1 History and biography (01-XX) 1 Field theory and polynomials (12-XX) 1 Associative rings and algebras (16-XX) 1 Measure and integration (28-XX) 1 Operator theory (47-XX) 1 Algebraic topology (55-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Quantum theory (81-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Systems theory; control (93-XX) 1 Mathematics education (97-XX) Citations by Year