×

zbMATH — the first resource for mathematics

van Maaren, Hans

Compute Distance To:
Author ID: van-maaren.hans Recent zbMATH articles by "van Maaren, Hans"
Published as: Van Maaren, H.; Van Maaren, Hans; van Maaren, H.; van Maaren, Hans
Documents Indexed: 46 Publications since 1974, including 3 Books

Publications by Year

Citations contained in zbMATH

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

Cited by 431 Authors

13 Marques-Silva, João P.
8 van Maaren, Hans
7 Kullmann, Oliver
6 Janota, Mikoláš
6 Schaub, Torsten H.
6 Semenov, Aleksandr Anatol’evich
5 Biere, Armin
5 Heule, Marijn J. H.
5 Mencía, Carlos
5 Seidl, Martina
5 Weidenbach, Christoph
4 Ábrahám, Erika
4 Anjos, Miguel F.
4 Hoos, Holger H.
4 Järvisalo, Matti
4 Saïs, Lakhdar
4 Warners, Joost P.
3 Bruni, Renato
3 Dang, Chuangyin
3 Davenport, James Harold
3 England, Matthew
3 Giunchiglia, Enrico
3 Hamadi, Youssef
3 Ignatyev, Alexey A.
3 Jabbour, Said
3 Kaufmann, Benjamin
3 Kimura, Kei
3 Leyton-Brown, Kevin
3 Lindauer, Marius
3 Makino, Kazuhisa
3 Maratea, Marco
3 Marić, Filip
3 Sebastiani, Roberto
3 Szeider, Stefan
2 Arif, M. Fareed
2 Banbara, Mutsunori
2 Becker, Bernd
2 Blanchette, Jasmin Christian
2 Bright, Curtis
2 Cocco, Simona
2 Fleury, Mathias
2 Fontaine, Pascal
2 Ganesh, Vijay
2 Gebser, Martin
2 Griggio, Alberto
2 Guller, Dušan
2 Hyttinen, Antti
2 Ibaraki, Toshihide
2 Kauers, Manuel
2 Kochemazov, Stepan
2 Kotsireas, Ilias S.
2 Kremer, Gereon
2 Kröning, Daniel
2 Levy, Jordi
2 Lonsing, Florian
2 Lynce, Inês
2 Monasson, Rémi
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 Ryvchin, Vadim
2 Sabharwal, Ashish
2 Sahai, Tuhin
2 Sanz Domínguez, María Isabel
2 Selman, Bart
2 Singer, Ivan
2 Soh, Takehide
2 Strichman, Ofer
2 Sturm, Thomas P.
2 Subramani, Krishnan
2 Thimm, Matthias
2 Tinelli, Cesare
2 Van Gelder, Allen
2 Vieira, Manuel V. C.
2 Wallner, Johannes Peter
2 Ye, Yinyu
2 Zaikin, Oleg Sergeevich
1 Abbott, John A.
1 Ahmed, Tanbir
1 Akgün, Özgür
1 Al-Yahya, Tasniem Nasser
1 Alagi, Gábor
1 Alférez, Germán H.
1 Alférez, Mauricio
1 Allgower, Eugene L.
1 Alves Rocha, Thiago
1 Amadini, Roberto
1 Amendola, Giovanni
1 Amorosi, Lavinia
1 Ansótegui, Carlos
1 Armando, Alessandro
1 Asín, Roberto
1 Audemard, Gilles
1 Balabanov, Valeriy
...and 331 more Authors
all top 5

Cited in 66 Serials

21 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
4 International Journal of Approximate Reasoning
4 Constraints
4 Theory and Practice of Logic Programming
3 Journal of Optimization Theory and Applications
3 Operations Research Letters
3 Annals of Operations Research
3 ACM Transactions on Computational Logic
2 Annali di Matematica Pura ed Applicata. Serie Quarta
2 Journal of Computational and Applied Mathematics
2 Computers & Operations Research
2 Automation and Remote Control
2 European Journal of Operational Research
2 Journal of Heuristics
2 Optimization Letters
2 Logical Methods in Computer Science
1 Acta Informatica
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 Algorithmica
1 Information and Computation
1 Japan Journal of Industrial and Applied Mathematics
1 International Journal of Algebra and Computation
1 Zeitschrift für Operations Research. Serie A: Theorie
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 The Electronic Journal of Combinatorics
1 Top
1 The Journal of Artificial Intelligence Research (JAIR)
1 Mathematical Problems in Engineering
1 Nonlinear Dynamics
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 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 DML. Discrete Mathematics Letters

Citations by Year