## van Maaren, Hans

Compute Distance To:
 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)

### Citations contained in zbMATH Open

35 Publications have been cited 296 times in 256 Documents Cited by Year
Handbook of satisfiability. Zbl 1183.68568
2009
A two-phase algorithm for solving a class of hard satisfiability problems. Zbl 0960.90100
Warners, Joost P.; van Maaren, Hans
1998
Duality principles in mathematics and their relations to conjugate functions. Zbl 0598.49009
Evers, J. J. M.; van Maaren, H.
1985
A new method to construct lower bounds for van der Waerden numbers. Zbl 1115.05092
Herwig, P. R.; Heule, M. J. H.; van Lambalgen, P. M.; van Maaren, H.
2007
March_eq: Implementing additional reasoning into an efficient look-ahead SAT solver. Zbl 1122.68599
Heule, Marijn; Dufour, Mark; van Zwieten, Joris; van Maaren, Hans
2005
A short note on some tractable cases of the satisfiability problem. Zbl 1046.68542
van Maaren, Hans
2000
Finding guaranteed MUSes fast. Zbl 1138.68555
van Maaren, Hans; Wieringa, Siert
2008
On semidefinite programming relaxations of $$(2+p)$$-SAT. Zbl 1050.68050
de Klerk, E.; van Maaren, H.
2003
SAT2000. Highlights of satisfiability research in the year 2000. 3rd international workshop, September 1998. Zbl 0963.00028
2000
Relaxations of the satisfiability problem using semidefinite programming. Zbl 0965.03017
de Klerk, Etienne; van Maaren, Hans; Warners, Joost P.
2000
A simplicial approach to the determination of an integer point of a simplex. Zbl 0977.90027
Dang, Chuangyin; van Maaren, Hans
1998
Sums of squares, satisfiability and maximum satisfiability. Zbl 1128.68489
van Maaren, Hans; van Norden, Linda
2005
Solving satisfiability problems using elliptic approximations – effective branching rules. Zbl 0965.68026
Warners, Joost P.; van Maaren, Hans
2000
Relaxations of the satisfiability problem using semidefinite programming. Zbl 0979.68050
de Klerk, Etienne; van Maaren, Hans; Warners, Joost P.
2000
Elliptic approximations of propositional formulae. Zbl 0941.68063
van Maaren, Hans
1999
On the use of second order derivatives for the satisfiability problem. Zbl 0889.68075
van Maaren, Hans
1997
Dynamic symmetry breaking by simulating Zykov contraction. Zbl 1247.68260
Schaafsma, Bas; Heule, Marijn J. H.; van Maaren, Hans
2009
Hidden threshold phenomena for fixed-density SAT-formulae. Zbl 1204.68214
van Maaren, Hans; van Norden, Linda
2004
Improved solutions to the Steiner triple covering problem. Zbl 1338.68207
Odijk, Michiel A.; van Maaren, Hans
1998
Effective incorporation of double look-ahead procedures. Zbl 1214.68356
Heule, Marijn; van Maaren, Hans
2007
Aligning CNF- and equivalence-reasoning. Zbl 1122.68600
Heule, Marijn; van Maaren, Hans
2005
Simplicial pivoting algorithms for a tractable class of integer programs. Zbl 0994.90101
Van Maaren, H.; Dang, C.
2002
Solving satisfiability problems using elliptic approximations. A note on volumes and weights. Zbl 1010.68070
van Maaren, Hans; Warners, Joost P.
2003
Parallel SAT solving using bit-level operations. Zbl 1170.68594
Heule, Marijn J. H.; van Maaren, Hans
2008
Pseudo-ordered fields. Zbl 0292.12105
van Maaren, H.
1974
Sums of squares based approximation algorithms for MAX-SAT. Zbl 1152.68058
van Maaren, H.; van Norden, L.; Heule, M. J. H.
2008
An arbitrary starting variable dimension algorithm for computing an integer point of a simplex. Zbl 0970.90054
Dang, Chuangyin; van Maaren, Hans
1999
Recognition of tractable satisfiability problems through balanced polynomial representations. Zbl 0943.68061
Warners, Joost P.; van Maaren, Hans
2000
Generation of classes of robust periodic railway timetables. Zbl 1111.90123
Odijk, Michiel A.; Romeijn, H. Edwin; van Maaren, Hans
2006
Heule, Marijn J. H.; van Maaren, Hans
2006
Handbook of satisfiability. In 2 parts. 2nd updated and revised edition. Zbl 1456.68001
2021
Whose side are you on? Finding solutions in a biased search-tree. Zbl 1170.68595
Heule, Marijn J. H.; van Maaren, Hans
2008
Bounds and fast approximation algorithms for binary quadratic optimzation problems with application to MAX 2SAT. Zbl 0964.90041
van Maaren, Hans; Warners, Joost P.
2000
Computing an integer point of a simplex with an arbitrary starting homotopy-like simplicial algorithm. Zbl 1041.65049
Dang, Chuangyin; van Maaren, Hans
2001
Inverse barriers and CES-functions in linear programming. Zbl 0889.90111
van Maaren, H.; Terlaky, T.
1997
Handbook of satisfiability. In 2 parts. 2nd updated and revised edition. Zbl 1456.68001
2021
Handbook of satisfiability. Zbl 1183.68568
2009
Dynamic symmetry breaking by simulating Zykov contraction. Zbl 1247.68260
Schaafsma, Bas; Heule, Marijn J. H.; van Maaren, Hans
2009
Finding guaranteed MUSes fast. Zbl 1138.68555
van Maaren, Hans; Wieringa, Siert
2008
Parallel SAT solving using bit-level operations. Zbl 1170.68594
Heule, Marijn J. H.; van Maaren, Hans
2008
Sums of squares based approximation algorithms for MAX-SAT. Zbl 1152.68058
van Maaren, H.; van Norden, L.; Heule, M. J. H.
2008
Whose side are you on? Finding solutions in a biased search-tree. Zbl 1170.68595
Heule, Marijn J. H.; van Maaren, Hans
2008
A new method to construct lower bounds for van der Waerden numbers. Zbl 1115.05092
Herwig, P. R.; Heule, M. J. H.; van Lambalgen, P. M.; van Maaren, H.
2007
Effective incorporation of double look-ahead procedures. Zbl 1214.68356
Heule, Marijn; van Maaren, Hans
2007
Generation of classes of robust periodic railway timetables. Zbl 1111.90123
Odijk, Michiel A.; Romeijn, H. Edwin; van Maaren, Hans
2006
Heule, Marijn J. H.; van Maaren, Hans
2006
March_eq: Implementing additional reasoning into an efficient look-ahead SAT solver. Zbl 1122.68599
Heule, Marijn; Dufour, Mark; van Zwieten, Joris; van Maaren, Hans
2005
Sums of squares, satisfiability and maximum satisfiability. Zbl 1128.68489
van Maaren, Hans; van Norden, Linda
2005
Aligning CNF- and equivalence-reasoning. Zbl 1122.68600
Heule, Marijn; van Maaren, Hans
2005
Hidden threshold phenomena for fixed-density SAT-formulae. Zbl 1204.68214
van Maaren, Hans; van Norden, Linda
2004
On semidefinite programming relaxations of $$(2+p)$$-SAT. Zbl 1050.68050
de Klerk, E.; van Maaren, H.
2003
Solving satisfiability problems using elliptic approximations. A note on volumes and weights. Zbl 1010.68070
van Maaren, Hans; Warners, Joost P.
2003
Simplicial pivoting algorithms for a tractable class of integer programs. Zbl 0994.90101
Van Maaren, H.; Dang, C.
2002
Computing an integer point of a simplex with an arbitrary starting homotopy-like simplicial algorithm. Zbl 1041.65049
Dang, Chuangyin; van Maaren, Hans
2001
A short note on some tractable cases of the satisfiability problem. Zbl 1046.68542
van Maaren, Hans
2000
SAT2000. Highlights of satisfiability research in the year 2000. 3rd international workshop, September 1998. Zbl 0963.00028
2000
Relaxations of the satisfiability problem using semidefinite programming. Zbl 0965.03017
de Klerk, Etienne; van Maaren, Hans; Warners, Joost P.
2000
Solving satisfiability problems using elliptic approximations – effective branching rules. Zbl 0965.68026
Warners, Joost P.; van Maaren, Hans
2000
Relaxations of the satisfiability problem using semidefinite programming. Zbl 0979.68050
de Klerk, Etienne; van Maaren, Hans; Warners, Joost P.
2000
Recognition of tractable satisfiability problems through balanced polynomial representations. Zbl 0943.68061
Warners, Joost P.; van Maaren, Hans
2000
Bounds and fast approximation algorithms for binary quadratic optimzation problems with application to MAX 2SAT. Zbl 0964.90041
van Maaren, Hans; Warners, Joost P.
2000
Elliptic approximations of propositional formulae. Zbl 0941.68063
van Maaren, Hans
1999
An arbitrary starting variable dimension algorithm for computing an integer point of a simplex. Zbl 0970.90054
Dang, Chuangyin; van Maaren, Hans
1999
A two-phase algorithm for solving a class of hard satisfiability problems. Zbl 0960.90100
Warners, Joost P.; van Maaren, Hans
1998
A simplicial approach to the determination of an integer point of a simplex. Zbl 0977.90027
Dang, Chuangyin; van Maaren, Hans
1998
Improved solutions to the Steiner triple covering problem. Zbl 1338.68207
Odijk, Michiel A.; van Maaren, Hans
1998
On the use of second order derivatives for the satisfiability problem. Zbl 0889.68075
van Maaren, Hans
1997
Inverse barriers and CES-functions in linear programming. Zbl 0889.90111
van Maaren, H.; Terlaky, T.
1997
Duality principles in mathematics and their relations to conjugate functions. Zbl 0598.49009
Evers, J. J. M.; van Maaren, H.
1985
Pseudo-ordered fields. Zbl 0292.12105
van Maaren, H.
1974
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)