Hans van Maaren Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmin Biere, Marijn Heule, Hans van Maaren, Toby Walsh: Handbook of Satisfiability IOS Press 2009
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBas Schaafsma, Marijn Heule, Hans van Maaren: Dynamic Symmetry Breaking by Simulating Zykov Contraction. SAT 2009: 223-236
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans van Maaren: Simplicial Pivoting Algorithms for Integer Programming. Encyclopedia of Optimization 2009: 3585-3591
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarijn Heule, Hans van Maaren: Look-Ahead Based SAT Solvers. Handbook of Satisfiability 2009: 155-184
2008
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans van Maaren, Siert Wieringa: Finding Guaranteed MUSes Fast. SAT 2008: 291-304
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans van Maaren, Linda van Norden, M. J. H. Heule: Sums of squares based approximation algorithms for MAX-SAT. Discrete Applied Mathematics 156(10): 1754-1779 (2008)
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarijn Heule, Hans van Maaren: Whose side are you on? Finding solutions in a biased search-tree. JSAT 4(2-4): 117-148 (2008)
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarijn Heule, Hans van Maaren: Parallel SAT Solving using Bit-level Operations. JSAT 4(2-4): 99-116 (2008)
2007
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarijn Heule, Hans van Maaren: From Idempotent Generalized Boolean Assignments to Multi-bit Search. SAT 2007: 134-147
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarijn Heule, Hans van Maaren: Effective Incorporation of Double Look-Ahead Procedures. SAT 2007: 258-271
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenriette Bier, Adriaan de Jong, Gijs van der Hoorn, Niels Brouwers, Marijn Heule, Hans van Maaren: Prototypes for Automated Architectural 3D-Layout. VSMM 2007: 203-214
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLP. R. Herwig, M. J. H. Heule, P. M. van Lambalgen, Hans van Maaren: A New Method to Construct Lower Bounds for Van der Waerden Numbers. Electr. J. Comb. 14(1): (2007)
2006
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichiel A. Odijk, H. Edwin Romeijn, Hans van Maaren: Generation of classes of robust periodic railway timetables. Computers & OR 33: 2283-2299 (2006)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarijn Heule, Hans van Maaren: March_dl: Adding Adaptive Heuristics and a New Branching Strategy. JSAT 2(1-4): 47-59 (2006)
2005
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarijn Heule, Hans van Maaren: Observed Lower Bounds for Random 3-SAT Phase Transition Density Using Linear Programming. SAT 2005: 122-134
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans van Maaren, Linda van Norden: Sums of Squares, Satisfiability and Maximum Satisfiability. SAT 2005: 294-308
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans van Maaren, Linda van Norden: Correlations between Horn fractions, satisfiability and solver performance for fixed density random 3-CNF instances. Ann. Math. Artif. Intell. 44(1-2): 157-177 (2005)
2004
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarijn Heule, Hans van Maaren: Aligning CNF- and Equivalence-reasoning. SAT 2004
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarijn Heule, Hans van Maaren: Aligning CNF- and Equivalence-Reasoning. SAT (Selected Papers 2004: 145-156
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarijn Heule, Mark Dufour, Joris van Zwieten, Hans van Maaren: March_eq: Implementing Additional Reasoning into an Efficient Look-Ahead SAT Solver. SAT (Selected Papers 2004: 345-359
2003
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans van Maaren, Linda van Norden: Hidden Threshold Phenomena for Fixed-Density SAT-formulae. SAT 2003: 135-149
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans van Maaren, Joost P. Warners: Solving Satisfiability Problems Using Elliptic Approximations. A Note on Volumes and Weights. Ann. Math. Artif. Intell. 37(3): 273-283 (2003)
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEtienne de Klerk, Hans van Maaren: On Semidefinite Programming Relaxations of (2+p)-SAT. Ann. Math. Artif. Intell. 37(3): 285-305 (2003)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans van Maaren: Preface. Discrete Applied Mathematics 130(2): 83-84 (2003)
2002
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLinda van Norden, Hans van Maaren: A Linear Programming Based Satisfiability Solver Using a New Horn-Driven Search Tree Design. CP 2002: 775-776
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans van Maaren, C. Dang: Simplicial Pivoting Algorithms for a Tractable Class of Integer Programs. J. Comb. Optim. 6(2): 133-142 (2002)
2000
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans van Maaren, Joost P. Warners: Bounds and fast approximation algorithms for binary quadratic optimization problems with application to MAX 2SAT. Discrete Applied Mathematics 107(1-3): 225-239 (2000)
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost P. Warners, Hans van Maaren: Solving satisfiability problems using elliptic approximations - effective branching rules. Discrete Applied Mathematics 107(1-3): 241-259 (2000)
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost P. Warners, Hans van Maaren: Recognition of Tractable Satisfiability Problems through Balanced Polynomial Representations. Discrete Applied Mathematics 99(1-3): 229-244 (2000)
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans van Maaren: A Short Note on Some Tractable Cases of the Satisfiability Problem. Inf. Comput. 158(2): 125-130 (2000)
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEtienne de Klerk, Hans van Maaren, Joost P. Warners: Relaxations of the Satisfiability Problem Using Semidefinite Programming. J. Autom. Reasoning 24(1/2): 37-65 (2000)
1999
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans van Maaren: Elliptic Approximations of Propositional Formulae. Discrete Applied Mathematics 96-97: 223-244 (1999)
1998
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichiel A. Odijk, Hans van Maaren: Improved Solutions to the Steiner Triple Covering Problem. Inf. Process. Lett. 65(2): 67-69 (1998)
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost P. Warners, Hans van Maaren: A two-phase algorithm for solving a class of hard satisfiability problems. Oper. Res. Lett. 23(3-5): 81-88 (1998)

Coauthor Index

1Henriette Bier [24]
2Armin Biere [34]
3Niels Brouwers [24]
4C. Dang [9]
5Mark Dufour [15]
6P. R. Herwig [23]
7Marijn Heule (M. J. H. Heule) [15] [16] [17] [20] [21] [23] [24] [25] [26] [27] [28] [29] [31] [33] [34]
8Gijs van der Hoorn [24]
9Adriaan de Jong [24]
10Etienne de Klerk [4] [12]
11P. M. van Lambalgen [23]
12Linda van Norden [10] [14] [18] [19] [29]
13Michiel A. Odijk [2] [22]
14H. Edwin Romeijn [22]
15Bas Schaafsma [33]
16Toby Walsh [34]
17Joost P. Warners [1] [4] [6] [7] [8] [13]
18Siert Wieringa [30]
19Joris van Zwieten [15]

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)