×
Compute Distance To:
Author ID: van-maaren.hans Recent zbMATH articles by "van Maaren, Hans"
Published as: van Maaren, Hans; van Maaren, H.; Van Maaren, Hans; Van Maaren, H.

Publications by Year

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.90100
Warners, Joost P.; van Maaren, Hans
10
1998
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.
9
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
8
2005
A short note on some tractable cases of the satisfiability problem. Zbl 1046.68542
van Maaren, Hans
7
2000
Finding guaranteed MUSes fast. Zbl 1138.68555
van Maaren, Hans; Wieringa, Siert
6
2008
On semidefinite programming relaxations of \((2+p)\)-SAT. Zbl 1050.68050
de 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.03017
de 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.90027
Dang, Chuangyin; van Maaren, Hans
5
1998
Sums of squares, satisfiability and maximum satisfiability. Zbl 1128.68489
van Maaren, Hans; van Norden, Linda
4
2005
Solving satisfiability problems using elliptic approximations – effective branching rules. Zbl 0965.68026
Warners, Joost P.; van Maaren, Hans
4
2000
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
On the use of second order derivatives for the satisfiability problem. Zbl 0889.68075
van Maaren, Hans
4
1997
Dynamic symmetry breaking by simulating Zykov contraction. Zbl 1247.68260
Schaafsma, Bas; Heule, Marijn J. H.; van Maaren, Hans
4
2009
Hidden threshold phenomena for fixed-density SAT-formulae. Zbl 1204.68214
van Maaren, Hans; van Norden, Linda
4
2004
Improved solutions to the Steiner triple covering problem. Zbl 1338.68207
Odijk, Michiel A.; van Maaren, Hans
4
1998
Effective incorporation of double look-ahead procedures. Zbl 1214.68356
Heule, Marijn; van Maaren, Hans
3
2007
Aligning CNF- and equivalence-reasoning. Zbl 1122.68600
Heule, Marijn; van Maaren, Hans
3
2005
Simplicial pivoting algorithms for a tractable class of integer programs. Zbl 0994.90101
Van Maaren, H.; Dang, C.
3
2002
Solving satisfiability problems using elliptic approximations. A note on volumes and weights. Zbl 1010.68070
van Maaren, Hans; Warners, Joost P.
2
2003
Parallel SAT solving using bit-level operations. Zbl 1170.68594
Heule, Marijn J. H.; van Maaren, Hans
2
2008
Pseudo-ordered fields. Zbl 0292.12105
van Maaren, H.
2
1974
Sums of squares based approximation algorithms for MAX-SAT. Zbl 1152.68058
van 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.90054
Dang, Chuangyin; van Maaren, Hans
2
1999
Recognition of tractable satisfiability problems through balanced polynomial representations. Zbl 0943.68061
Warners, Joost P.; van Maaren, Hans
2
2000
Generation of classes of robust periodic railway timetables. Zbl 1111.90123
Odijk, Michiel A.; Romeijn, H. Edwin; van Maaren, Hans
2
2006
March_dl: adding adaptive heuristics and a new branching strategy. Zbl 1116.68085
Heule, 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.68595
Heule, 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.90041
van Maaren, Hans; Warners, Joost P.
1
2000
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
Inverse barriers and CES-functions in linear programming. Zbl 0889.90111
van 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.68260
Schaafsma, Bas; Heule, Marijn J. H.; van Maaren, Hans
4
2009
Finding guaranteed MUSes fast. Zbl 1138.68555
van Maaren, Hans; Wieringa, Siert
6
2008
Parallel SAT solving using bit-level operations. Zbl 1170.68594
Heule, Marijn J. H.; van Maaren, Hans
2
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
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.
9
2007
Effective incorporation of double look-ahead procedures. Zbl 1214.68356
Heule, Marijn; van Maaren, Hans
3
2007
Generation of classes of robust periodic railway timetables. Zbl 1111.90123
Odijk, Michiel A.; Romeijn, H. Edwin; van Maaren, Hans
2
2006
March_dl: adding adaptive heuristics and a new branching strategy. Zbl 1116.68085
Heule, Marijn J. H.; 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
8
2005
Sums of squares, satisfiability and maximum satisfiability. Zbl 1128.68489
van Maaren, Hans; van Norden, Linda
4
2005
Aligning CNF- and equivalence-reasoning. Zbl 1122.68600
Heule, Marijn; van Maaren, Hans
3
2005
Hidden threshold phenomena for fixed-density SAT-formulae. Zbl 1204.68214
van Maaren, Hans; van Norden, Linda
4
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
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.03017
de Klerk, Etienne; van Maaren, Hans; Warners, Joost P.
5
2000
Solving satisfiability problems using elliptic approximations – effective branching rules. Zbl 0965.68026
Warners, Joost P.; van Maaren, Hans
4
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
10
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 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

Citations by Year