I agree that this site is using cookies. You can find further informations here.
X
van Maaren, Hans
21  results:
Search for persons X
?
1

Handbook of satisfiability 

Frontiers in Artificial Intelligence and Applications, v. 336
Biere, Armin ; Heule, Marijn ; Maaren, Hans van - Second edition . , 2021
Link: https://search.ebscohost..
 
?
2

Whose side are you on?1: Finding solutions in a biased sear..:

Heule, Marijn J.H. ; van Maaren, Hans ; Speckenmeyer, Ewald...
Journal on Satisfiability, Boolean Modeling and Computation.  4 (2008)  2-4 - p. 117-148 , 2008
Link: https://doi.org/10.3233/..
 
?
3

Parallel SAT Solving using Bit-level Operations1:

Heule, Marijn ; van Maaren, Hans ; Speckenmeyer, Ewald...
Journal on Satisfiability, Boolean Modeling and Computation.  4 (2008)  2-4 - p. 99-116 , 2008
Link: https://doi.org/10.3233/..
 
?
4

March_dl: Adding Adaptive Heuristics and a New Branching St..:

Heule, Marijn J.H. ; van Maaren, Hans ; Le Berre, Daniel.
Journal on Satisfiability, Boolean Modeling and Computation.  2 (2006)  1-4 - p. 47-59 , 2006
Link: https://doi.org/10.3233/..
 
?
5

Generation of classes of robust periodic railway timetables:

Odijk, Michiel A. ; Romeijn, H. Edwin ; van Maaren, Hans
Computers & Operations Research.  33 (2006)  8 - p. 2283-2299 , 2006
Link: https://doi.org/10.1016/..
 
?
6

Correlations between Horn fractions, satisfiability and sol..:

van Maaren, Hans ; van Norden, Linda
Annals of Mathematics and Artificial Intelligence.  44 (2005)  1-2 - p. 157-177 , 2005
Link: https://doi.org/10.1007/..
 
?
7

Preface:

van Maaren, Hans
Discrete Applied Mathematics.  130 (2003)  2 - p. 83-84 , 2003
Link: https://doi.org/10.1016/..
 
?
8

Computing an integer point of a simplex with an arbitrary s..:

Dang, Chuangyin ; van Maaren, Hans
Journal of Computational and Applied Mathematics.  129 (2001)  1-2 - p. 151-170 , 2001
Link: https://doi.org/10.1016/..
 
?
9

Bounds and fast approximation algorithms for binary quadrat..:

van Maaren, Hans ; Warners, Joost P.
Discrete Applied Mathematics.  107 (2000)  1-3 - p. 225-239 , 2000
Link: https://doi.org/10.1016/..
 
?
10

A Short Note on Some Tractable Cases of the Satisfiability ..:

van Maaren, Hans
Information and Computation.  158 (2000)  2 - p. 125-130 , 2000
Link: https://doi.org/10.1006/..
 
?
11

Recognition of tractable satisfiability problems through ba..:

Warners, Joost P. ; van Maaren, Hans
Discrete Applied Mathematics.  99 (2000)  1-3 - p. 229-244 , 2000
Link: https://doi.org/10.1016/..
 
?
12

Solving satisfiability problems using elliptic approximatio..:

Warners, Joost P. ; van Maaren, Hans
Discrete Applied Mathematics.  107 (2000)  1-3 - p. 241-259 , 2000
Link: https://doi.org/10.1016/..
 
?
13

Elliptic approximations of propositional formulae:

van Maaren, Hans
Discrete Applied Mathematics.  96-97 (1999)  - p. 223-244 , 1999
Link: https://doi.org/10.1016/..
 
?
14

Improved solutions to the Steiner triple covering problem:

Odijk, Michiel A. ; van Maaren, Hans
Information Processing Letters.  65 (1998)  2 - p. 67-69 , 1998
Link: https://doi.org/10.1016/..
 
?
15

A Simplicial Approach to the Determination of an Integer Po..:

Dang, Chuangyin ; Van Maaren, Hans
Mathematics of Operations Research.  23 (1998)  2 - p. 403-415 , 1998
Link: https://www.jstor.org/st..
 
1-15