Publications and related research output

Refereed journals and proceedings.

( Some of the papers below are available as a pdf at Sat @ Delft: http://www.isa.ewi.tudelft.nl/sat/ )

- Bas Schaafsma and Marijn J.H. Heule and Hans van Maaren (2009). Dynamic Symmetry Breaking by Simulating Zykov Contraction. In Oliver Kullmann (Eds.). Theory and Applications of Satisfiability Testing -- SAT 2009. LNCS 5584, Springer. Pp ??-??.

- Marijn J.H. Heule and Hans van Maaren (2009). In Armin Biere and Marijn J.H. Heule and Hans van Maaren and Toby Walsh (Eds.) Look-Ahead Based SAT Solvers, Ch. 5, pp. 155-184. Handbook of Satisfiability.IOS Press.

- Marijn J.H. Heule and Hans van Maaren (2008). Parallel SAT Solving using Bit-level Operations. Journal on Satisfiability, Boolean Modeling and Computation 4:99-116.

- Hans van Maaren and Siert Wieringa (2008). Finding Guaranteed MUSes Fast. In Hans Kleine Büning and Xishun Zhao (Eds.). Theory and Applications of Satisfiability Testing – SAT 2008, pp. 291-304. Lecture Notes of Computer Science 4996, Springer.

- Hans van Maaren and Linda van Norden and Marijn J.H. Heule (2008). Sums of squares based approximation algorithms for MAX-SAT. Discrete Applied Mathematics 156(10):1754-1779.

- Marijn J.H. Heule and Hans van Maaren (2008). Whose side are you on? Finding solutions in a biased search-tree. Journal on Satisfiability, Boolean Modeling and Computation 4:117-148.

- Henriette Bier and Adriaan de Jong and Gijs van der Hoorn and Niels Brouwers and Marijn J.H. Heule and Hans van Maaren (2008). Prototypes for Automated Architectural 3D-Layout. In T.G. Wyeld and S. Kenderdine and M. Docherty (Eds.) Prototypes for Automated Architectural 3D-Layout, Ch. , pp. 203-214. Springer Berlin / Heidelberg.

- Marijn J.H. Heule and Hans van Maaren. From Idempotent Generalized Boolean Assignments to Multi-bit Search. SAT 2007 Springer LNCS 4501 (2007), pp. 134-147.

- Marijn J.H. Heule and Hans van Maaren.
Effective Incorporation of Double Look-Ahead Procedures. SAT 2007 Springer LNCS 4501 (2007), pp. 258-271.

- Paul Herwig, Marijn Heule, Martijn van Lambalgen, and Hans van Maaren. A new method to construct lower bounds for Van der Waerden numbers. The Electronic Journal of Combinatorics 14 (2007), #R6.

- Marijn J.H. Heule and Hans van Maaren. March_dl: Adding Adaptive Heuristics and a New Branching Strategy. Journal on Satisfiability, Boolean Modeling and Computation 2 (2006), pp. 47-59.

- Michiel A. Odijk, H. Edwin Romeijn and Hans van Maaren. Generation of classes of robust periodic railway timetables. Computers & Operations Research 33 (2006), pp. 2283-2299.

- Marijn Heule and Hans van Maaren. Observed Lower Bounds for Random 3-SAT Phase Transition Density using Linear Programming. Springer Lecture Notes in Computer Science. F. Bacchus and T. Walsh (Eds.): Sat 2005, LNCS 3569, pp. 122-134, 2005.

- Hans van Maaren, Linda van Norden. Sums of Squares, Satisfiability and Maximum Satisfiability. Springer Lecture Notes in Computer Science. F. Bacchus and T. Walsh (Eds.): Sat 2005, LNCS 3569, pp. 293-307, 2005.

- Hans van Maaren, Linda van Norden. Correlations between Horn fractions, satisfiability and solver performance for fixed density random 3-CNF instances. Annals of Mathematics and Artificial Intelligence 44, 157-177, 2005.

- Marijn Heule and Hans van Maaren. Aligning CNF- and Equivalence-Reasoning. Springer Lecture Notes in Computer Science. H. H. Hoos and D. G. Mitchell (Eds.): Sat 2004, LNCS 3542, pp. 145-156, 2005.

- Marijn Heule, Joris van Zwieten, Mark Dufour and Hans van Maaren. March_eq: Implementing Additional Reasoning into an Efficient Lookahead Sat Solver. Springer Lecture Notes in Computer Science. H. H. Hoos and D. G. Mitchell (Eds.): Sat 2004, LNCS 3542, pp. 345-359, 2005.

- Marijn Heule and Hans van Maaren. Aligning CNF- and equivalence reasoning. Proceedings of the Seventh International Conference on Theory and Applications of Satisfiability Testing. Vancouver, may 10-13, 2004. Holger H. Hoos, David G. Mitchell editors.

- Hans van Maaren and Linda van Norden. Hidden threshold Phenomena for Fixed Density random Sat formulae. E. Giunchiglia and A. Tacchella (Eds): SAT 2003, Lecture Notes in Computer Science 2919. Springer - Verlag Berlin Heidelberg. pp135-149, 2004.

- E. de Klerk and H. Van Maaren. On semi definite programming relaxations of (2+p)-SAT. Annals of Mathematics and Artificial Intelligence 37, 285-305, 2003.

- Hans van Maaren and Joost P. Warners. Solving satisfiability problems using elliptic approximations. A note on volumes and weights. Annals of Mathematics and Artificial Intelligence 37, 273-283, 2003.

- Linda van Norden and Hans van Maaren. A linear Programming Based Satisfiability Solver Using a New Horn-Driven Search Tree Design. Springer Lecture Notes of Computer Science 2470: Principles and Practice of Constraint Programming-CP2002. 775-776.

- H. van Maaren and C. Dang. Simplicial Pivoting Algorithms for a Tractable Class of Integer Programs. Journal of Combinatorial Optimization, 6, 133-142, 2002.

- Chuangyin Dang, Hans van Maaren. Computing an integer point of a simplex with an arbitrary starting homotopy-like simplicial algorithm. Journal of Computational and Applied Mathematics, 129 (1-2), (2001) pp. 151-170.

- Joost P. Warners, Hans van Maaren. Solving satisfiability problems using elliptic approximations. Effective branching rules. Discrete Applied Mathematics 107 (2000), 241-259.

- Hans van Maaren, Joost P. Warners. Bounds and fast approximation algorithms for binary quadratic optimization problems with application to MAX 2SAT. Discrete Applied Mathematics 107 (2000), 225-239.

- Hans van Maaren. A Short note on Some Tractable Cases of the Satisfiability Problem. Information and Computation 158, 125-130 (2000).

- E. de Klerk, H. van Maaren and J.P. Warners. Relaxations of the Satisfiability Problem Using Semidefinite Programming. In ''SAT 2000, Highlights of Satisfiability Research in the Year 2000''. IOS-Press, Frontiers in Artificial Intelligence and Applications. Vol 63 Editors: Ian Gent, Hans van Maaren and Toby Walsh. (2000). 189-213.

- E. de Klerk, H. van Maaren, J.P. Warners. Relaxations of the Satisfiability Problem Using Semidefinite Programming. Journal of Automated Reasoning 24: 37-65, 2000.

- Joost P. Warners, Hans van Maaren. Recognition of tractable satisfiability problems through balanced polynomial representations. Discrete Applied Mathematics 99/1-3, 2000, 229-244.

- Hans van Maaren. Elliptic approximations of propositional formula. ''The Satisfiability Problem and Boolean Functions''. Guest Editors: Franco, Gallo, Kleine Buening, Speckenmeijer, Boros and Hammer. Topics in Discrete Mathematics, 10. Elsevier 1999.

- Hans van Maaren. Elliptic approximations of propositional formulae. Discrete Applied Mathematics 96-97 (1999), 223-244.

- Chuangyin Dang, Hans van Maaren. An Arbitrary Starting Variable Dimension Algorithm for Computing an Integer Point of a Simplex. Computational Optimization and Applications, Volume 14, Issue 1, 1999, 133-155.

- Joost P. Warners, Hans van Maaren. A two-phase algorithm for solving a class of hard satisfiability problems. Operations Research Letters 23 (1998), 81-88.

- Chuangyin Dang and Hans van Maaren. A simplicial approach to the determination of an integer point of a simplex. Mathematics of Operations Research 23, no.2 (1998), 403-415.

- Michiel A. Odijk, Hans van Maaren. Improved solutions to the Steiner triple covering problem. Information Processing Letters 65 (1998) 67-69.

- Hans van Maaren. On the Use of Second Order Derivatives for the Satisfiability Problem.DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Volume 35, 1997, 677-687.

- Hans van Maaren. Pivoting Algorithms Based on Boolean Vector Labeling. Acta Mathematica Vietnamica, Volume 22, number 1, 1997, 183-198. Dedicated to Hoang Tuy on the occasion of his seventieth birthday.

- H. van Maaren, T. Terlaky. Inverse barriers and CES-functions in linear programming. Operations Research Letters 20 (1997) 15-20.

- Henriette de Blank, Eligius Hendrix, Michael Litjens and Hans van Maaren. On-Line Control and Optimisation of the Pelleting Process of Animal Feed. Journal Science of Food and Agriculture 1997, 74, 13-19.

- Hans van Maaren, Jan Bertus Molenkamp, Henk Jan Reus. Product ranking, budget allocation and monopolistic pricing in a multiproduct firm. An application at Nonius, a division of Delft Instruments. International Journal of Production Economics, 50 (1997) 51-59.

- Jan Friso Groote, Hans van Maaren. Equivalence of the Concave Optimization method and d'Agostino's Tableaux for Propositional Logic. ISCIS XI, Proceedings of The eleventh International Symposium on Computer and Information Sciences. Antalya, Turkey, Eds V. Atalay et al. 1996, pp 41-51.

- H. van Maaren, Jan Friso Groote and Michiel Rozema. Verification of propositional formulae by means of convex and concave transforms. Proceedings of the fourth international symposium on artificial intelligence and mathematics, AI/MATH-96. Fort Lauderdale, Florida, AT&T Bell Laboratories, pp146-149.

- H. van Maaren. Fixed point theory in multiply ordered spaces. Fixed point theory and applications, Thera and Baillon (Eds), Pitman Research Notes in Mathematics series, Longman, Harlow, Essex, UK., pp407-423, 1991.

- J. M. Aarts, H. van Maaren. Preference numbers and funnel dimension. Comment. Math. Univ. Carolinae, 31, 4, pp 769-774, 1990.

- H. van Maaren. Generalized pivoting and coalitions. The computation and modelling of economic equilibria, Talman & van der Laan (Eds), North-Holland, pp 155-176, 1987.

- H. van Maaren. On the localization of recession points. Cahiers du C.E.R.O., Vol 27, no.3-4, pp 255-260, 1985.

- J.J.M. Evers, H. van Maaren. Duality principles in mathematics and their relations to conjugate functions. Nieuw Archief Voor Wiskunde, vierde serie, deel 3, no.1, pp 23-68, 1985.

- H. van Maaren. A degree theorem and decision methods for algebras of affine forms. Indag. Math. 43, 3, pp 315-324, 1981.

- H. van Maaren, H.J.P. de Smet. Extremal points, separation, Caratheodory-, Helly- and Radon numbers in non real linear spaces. Indag. Math. 43, 2, pp 207-218, 1981.

- H. van Maaren, H.J.P. de Smet. Polynomials in algebras of linear forms. Indag. Math. 43, 2, pp 195-205, 1981.

- H. van Maaren. Pseudo-ordered fields. Indag. Math. 36, pp 463-476, 1974.

Books, Biographies, Miscellaneous

- Armin Biere and Marijn J.H. Heule and Hans van Maaren and Toby Walsh (2009). Handbook of Satisfiability, IOS Press.

- Hans van Maaren. Simplicial Methods in Discrete Optimization. Part of Encyclopedia of Optimization. Kluwer, eds Floudas and Pardalos, 2001. ISBN 0-7923-7.

- Ian Gent, Hans van Maaren, Toby Walsh. SAT 2000, Highlights of Satisfiability Research in the Year 2000. IOS-Press. Pages 561. Frontiers in Artificial Intelligence and Applications. Vol 63 (2000). Preface by Hans van Maaren.

- Hans van Maaren. Peter van Putten. Proceedings Conference on Operations Research and Artificial Intelligence 1994. University Utrecht, The Netherlands.

- Hans van Maaren. Theodore Samuel Motzkin's selected papers.Nieuw Archief Voor Wiskunde, vierde serie, deel 3, no.3, pp 303-308, 1985.

- H. van Maaren. Algebraic simplices in modules, On concepts of closure and convexity. Doct.Diss.RUU., pp 1-138, 1979.

- Completeness of modal logic G. Part of ''The unprovability of consistency, G. Boolos, Cambridge University Press'' pp108-122, 1974.

Editor of special issues.

- John Franco, Henry Kautz, Hans Kleine Buening, Hans van Maaren,  Ewald Speckenmeyer and Bart Selman. Theory and Applications of Satisfiability Testing. Annals of Mathematics and Artificial Intelligence. Vol. 43 ( 2005 ), pages 1-365.

- Ewald Speckenmeyer, John Franco, Hans van Maaren. The Renesse Issue on Satisfiability. Discrete Applied Mathematics volume 130, Number 2, Pages 83-366 ( 2003 ). Preface by Hans van Maaren.

Editor in Chief of the Journal on Satisfiability, Boolean Modeling and Computation ( JSAT ).

http://jsat.ewi.tudelft.nl

Awarded Software.

- Marijn Heule, Mark Dufour, Joris van Zwieten, Hans van Maaren. The ''MARCH'' Satisfiability solver. Awarded SAT-solver: second best state of the art SAT-solver on random benchmarks (international SAT-solver competition Cincinnati May, 2002).

- Marijn Heule, Mark Dufour, Joris van Zwieten, Hans van Maaren. The ''MARCH-EQ'' Satisfiability solver. Awarded SAT-solver: best state of the art SAT-solver on crafted benchmarks (international SAT-solver competition Vancouver May, 2004).

- Marijn Heule, Hans van Maaren. The "MARCH-DL" Satisfiability solver. Awarded SAT-solver: second best state of the art SAT-solver on satisfiable crafted benchmarks, third best state of the art SAT-solver on satisfiable/unsatisfiable crafted benchmarks, third best state of the art SAT-solver on unsatisfiable  crafted benchmarks, second best state of the art SAT-solver on unsatisfiable  random benchmarks, second best state of the art SAT-solver on unsatisfiable/satisfiable random benchmarks (international SAT-solver competition St. Andrews, June 2005).

- Marijn Heule, Hans van Maaren. The "MARCH-KS" Satisfiability solver. Awarded SAT-solver: best state of the art SAT-solver on satisfiable crafted benchmarks, second best state of the art SAT-solver on satisfiable/unsatisfiable random benchmarks, best state of the art SAT-solver on unsatisfiable  random benchmarks (international SAT-solver competition Lisbon, May 2007).

International Committees.

- Member of the program committee of the yearly International Conference on ''Satisfiability, Theory and Testing'':

1996 (Siena), 1998 (Paderborn), 2000 (Renesse, chair organizer), 2001 (Boston), 2002 (Cincinnati), 2003 (Portofino), 2004 (Vancouver), 2005 (St. Andrews), 2006 (Seattle, co-located with FLOC), 2007 (Lisboa), 2008 (guanzhou), 2009 (Swansea)

- Member of the jury of the yearly Sat-solver competitions: 2002 (Cincinnati), 2003 (Portofino).

PHD's

-  M.J.H. Heule (2008) (NWO) (Delft, Netherlands). SmArT solving: Tools and techniques for satisfiability solvers.

- L. van Norden (2006) (WBBM) (Delft, Netherlands). Operations Research based approaches for the (maximum) satisfiability problem.

- J.P.Warners (1999) (NWO, SION) (Eindhoven, Netherlands, with Jan Friso Groote). Nonlinear approaches to Satisfiability Problems.

- M.A.Odijk (1998) (WBBM) (Delft, Netherlands). Railway Timetable Generation.

Technical Reports ( chronological order).

- Forced direction as generalization of fixed point. Memorandum 416 TH Twente, 1983.

- On the determination of approximately fixed points in multiply ordered spaces. Memorandum 435 TH Twente, 1983.

- Multiple integer labeling and fixed point approximation.Report 91-21. Delft Univ. Technology, Math. and Comp. Sc., 1991.

- A simplicial approach to integer programming. Report 93-06. Delft Univ. Technology, Math. and Comp. Sc., 1993. co-authos: C. Dang.

- A simplicial approach to integer programming-part 2. Report 93-47. Delft Univ. Technology, Math. and Comp. Sc., 1993. co-author: C. Dang.

- Budget allocation and monopolistic pricing in a multiproduct firm. Report 93-86. Delft Univ. Technology, Math. and Comp. Sc., 1993. co-author: J. Molenkamp.

- Verification of propositional formulae by means of convex transforms. Report 95-74. Delft Univ. Technology, Math. and Comp. Sc., 1995.co-authors: J.F. Groote and M. Rozema.

- Inverse barriers and CES-functions in linear programming. Report 95-76. Delft Univ. Technology, Math. and Comp. Sc., 1995. co-author: T. Terlaky.

- Simplicial approach to the determination of an integral point of a simplex. Report 95-86. Delft Univ. Technology, Math. and Comp. Sc., 1995. co-author: C. Dang.

- On-line control and optimization of the pelleting process of animal feed. Report 95-92. Delft Univ. Technology, Math. and Comp. Sc., 1995. co-authors: H. de Blank, E. Hendrix and M. Litjens.

- Equivalence of the concave optimisation method and d'Agostinos tableaux for propositional logic. Report 95-116. Delft Univ. Technology, Math. and Comp. Sc., 1995. co-author: J.F. Groote.

- Random generation of periodic event schedules with an application to railway timetabling. ERASM Management Report Series no.284 (1996). Co-authors: E. Romein and M. Odijk.

- Computing an integer point of a simplex with an arbitrary starting simplicial algorithm.

Report 96-12. Delft Univ. Technology, Math. and Comp. Sc., 1996. co-author: C. Dang.

- An arbitrary starting variable dimension algorithm for computing an integer point of a simplex. Report 96-33. Delft Univ. Technology, Math. and Comp. Sc., 1996. co-author: C. Dang.

- On the use of second order derivatives for the satisfiability problem. Report 96-34. Delft Univ. Technology, Math. and Comp. Sc., 1996.

- Elliptic approximations of propositional formulae. Report 96-65. Delft Univ. Technology, Math. and Comp. Sc., 1996. Also in ''Workshop on the satisfiability problem, Siena. report 96-230, Angewandte Mathematik und Informatik, Univ. zu Koln.

- Random generation of periodic event schedules with an application to railway timetabeling. Report 96-82. Delft Univ. Technology, Math. and Comp. Sc., 1996.

co-author: M.A. Odijk and H.E. Romeijn.

- Improved solutions for the Steiner triple covering problem. Report 96-113. Delft Univ. Technology, Math. and Comp. Sc., 1996. co-author : M.A. Odijk.

- Bounds and fast approximation algorithms for binary quadratic optimization problems with application to Max2-Sat and Max-Cut. Report 97-35. Delft Univ. Technology, Math. and Comp. Sc., 1997. co-author: J.P. Warners.

- Satisfiability problems with balanced polynomial representation. Report 97-47. Delft Univ. Technology, Math. and Comp. Sc., 1997. co-author: J.P. Warners.

- A two phase algorithm for solving a class of hard satisfiability problems. Report SEN R-9802, CWI, Amsterdam, 1998. co-author: J.P. Warners.

- Solving Satisfiability Problems Using Elliptic Approximations, Effective Branching Rules. Report 98-18. Delft Univ. Technology, Math. and Comp. Sc., 1998. co-author: J.P. Warners.

- Simplicial pivoting algorithms for a tractable class of Integer Programs. Report 98-33. Delft Univ. Technology, Math. and Comp.Sc., 1998.

- Solving Satisfiability Problems Using Elliptic. Approximations, A note on Volumes and Weights. Report 98-32.Delft Univ. Technology, Math. and Comp. Sc.,1998. co-author: J.P.Warners.

- Relaxations of the Satisfiability Problem using semidefinite programming. Report SEN-R9903 January 1999, Centrum voor Wiskunde en Informatica. co-authors: J.P.Warners and E. de Klerk.

- A short Note on Linear Autarkies, q-Horn Formulas and the Complexity Index. DIMACS Technical Report 99-26, may 1999.

WBBM Report Series

Joint with Michiel Odijk and Etienne de Klerk I was editor of a report series on Mathematical Models for Decision Support (Delft University Press). Research was carried out by students owning a masters degree and funded by industry on contractual basis. In these series 49 issues have been realized. With regard to many of them, I took considerable part as contractor and/or supervisor.

Reports in the series: (ISBN numbers available from issue 33)

1.W. Osman, A Design of an MSS for Integrated Program & Project Management.

2.J.J. de Jonge, Maintenance Management and Modelling.

3.B. Meima, Expert Opinion and Space Debris.

4.K. Wouterse, Design of a Management Supporting System for Distributed Production Planning.

5.P.J.M. Waasdorp, Forecasting and Inventory Replenishment in a Distribution Chain.

6.R.A.L. Slaats, Planningsalgoritmes voor MRP.

7.H.C. Vos, A Multi-Component Maintenance Model with Discounts.

8.G. Dijkhuizen, Inventory Management with Integrated Regular and Express Ordering.

9.R.van Dorp, Dependence Modelling for Uncertainty Analysis.

10.D. van Schooneveld, Fractal Coding of Monchrome Digital Images.

11.D. Roeleven, Modelling the Probability of Accident for Inland Waterway Transport.

12.W. van der Sluis, The Coordination of Production and Distribution in a Decentralized Distribution Chain: A Contractual Approach.

13.A.G. Chessa, Object-based Modelling of Hydrocarbon Reservoirs.

14.M. Kwak, Planning and Replenishment for a Seasonal Demand Pattern.

15.P. van Kampen, Maintenance Management of Multi-Component Objects.

16.C. de Blois, Dynamic Pollutant Transport Modeling for Policy Evaluation in the Rhine Basin.

17.G. van Acken, Hoe goed is een klant?

18.J.B. Molenkamp, Matching of assets and liabilities for pension funds.

19.A.J. Bomans, Validation of a Model for Optimising Decisions on Maintenance.

20.M.A. Odijk, Performance Evaluation of Railway Junction Track Layout Designs.

21.S.M. Geervliet, Modellering van de Faalkans van Ondergrondse Transportleidingen.

22.R.R. Witberg, A Neural Network Solution to Wire-line-log Recognition Applications.

23.H. de Blank, Beslissingsondersteunend Systeem voor het Persproces van Mengvoeders.

24.M.C. Rozema, RailEase, Ondersteuning bij het Specificeren van Railinfrastructuur in Knooppunten.

25.J. Dorrepaal, Analysis Tools for Reliability Databases.

26.G.M. te Brake, Automated Detection of Stellate Lesions and Architectural Distortions in Digital Mammograms.

27.S.T. van Houwelingen, Petrophysical Conductivity Modelling - Determination of Effective Conductivity and Electro-Type Tool Response Modelling.

28.R.P.M. Goverde, Civil Aircraft Autopilot Design Using Robust Control.

29.W.W.J. Götz, Influence Diagrams and Decision Trees in Severe Accident Management.

30.J.P.A. van der Vliet, Assets Liability Matching for Life Insurers.

31.M.P.C. Alders, Spatio-spectral Analysis of Wireline Logs.

32.J.W.P. Karelse, Risicomanagement bij een Woningcorporatie met Monte Carlo Simulaties.

33.F.L. Härte, Efficiency Analysis of Packaging Lines. ISBN 90-407-1459-2.

34.H.L. Liem, Gedragsanalyse van Luchtvaartmaatschappijen met Betrekking tot Geluidsbelasting op Schiphol. ISBN 90-407-1460-6.

35.N.P. van Elst, Betrouwbaarheid van het Sluitproces van Beweegbare Waterkeringen. ISBN 90-407-1490-8.

36.Lam, L. The Analysis of Doubly Censored Survival Data - An Application to Data Collected from the Amsterdam Cohort Studies on HIV. Infection and AIDS. ISBN 90-407-1561-0.

37.F. Phillipson, Lokale Treinverkeersregeling. ISBN 90-407-1763-X.

38.L.B. Gerlagh, Efficiënte Routering van Strooiwagens ten behoeve van de Gladheidsbestrijding op de Wegen. ISBN 90-407-1764-9.

39.F.P.M. Schouten, Analytic Techniques for Business Modeling: Opportunities for Advance. ISBN 90-407-1765-5.

40.M.R.B. Kreuk, Refinery-planning with Gemms and PlanStar. ISBN 90-407-1766-4.

41.M.A. Hoogstra, Maatschappelijke betekenis van nieuwe bossen: Een model ter bepaling van de optimale locatie, omvang en inrichting van nieuwe bosgebieden vanuit maatschappelijk oogpunt. ISBN 90-407-1916-0.

42.P. de Willigen, A Mathematical Study on Craquelure and other Mechanical Damage in Paintings. ISBN 90-407-1946-2.

43.M.J. Bastiaansen, Internet Traffic over Broadband Networks: Transferring TCP/IP traffic over ATM. ISBN 90-407-1968-3.

44.M. Loog, Approximate Pairwise Accuracy Criteria for Multiclass Linear Dimension Reduction: Generalisations of the Fisher Criterion. ISBN 90-407-2013-4.

45.A.D.L. van den Hout, The Analysis of Data Perturbed by PRAM. ISBN 90-407-2014-2.

46.M.R. Roelfsema, Non-linear Index Arbitrage: Exploiting the Dependencies between Index and Stock Options. ISBN 90-407-2041-X.

47.T.M.D. Bakker, Design Optimization with Kriging Models. ISBN 90-407-2042-8.

48.A.G.C. van der Leij, Inroosteren van Bemanning van Vervoersbedrijven met behulp van Kolomgeneratie. ISBN 90-407-2141-6.

49.W.M. Kartika, Consistent Imputation for Categorical and Numerical Data. ISBN 90-407-2188-2.