1. 2003
  2. Experiences in teaching software evolution and program comprehension

    van Deursen, A., Favre, J-M., Koschke, R. & Rilling, J., 2003, Proceedings - IWPC 2003. New York: IEEE Computer Society, p. 283-284 2 p. 1199214

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  3. Message from the Program Chairs

    Stroulia, E. & Van Deursen, A., 2003, Reverse Engineering - Working Conference Proceedings. van Deursen, A., Stroulia, E. & Storey, M. A. (eds.). IEEE/CS, p. IX- IX

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  4. 2005
  5. Aligning CNF- and equivalence-reasoning

    Heule, MJH. & van Maaren, H., 2005, Theory and Applications of Satisfiability Testing: 7th International Conference, SAT 2004. Hoos, HH. & Mitchell, DG. (eds.). Berlin: Springer, p. 145-156 12 p. (Lecture Notes in Computer Science; vol. 3542).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  6. Correlations between Horn fractions, satisfiability and solver performance for fixed density random 3-CNF instances

    van Maaren, H. & van Norden, L., 2005, In : Annals of Mathematics and Artificial Intelligence. 44, 1-2, p. 157-177 21 p.

    Research output: Contribution to journalArticleScientificpeer-review

  7. Design, optimization, and evaluation of a path query system

    Szanto, IP., 2005, s.l.: s.n.. 270 p.

    Research output: ThesisDissertation (TU Delft)Scientific

  8. March-eq - Implementing additional reasoning into efficient look-ahead SAT solver

    Heule, MJH., Dufour, M., van Zwieten, JE. & van Maaren, H., 2005, In : Lecture Notes in Computer Science. 3542, p. 345-359 15 p.

    Research output: Contribution to journalArticleScientificpeer-review

  9. Observed lower bounds for random 3-sat phase transition density using linear programming

    Heule, MJH. & van Maaren, H., 2005, Theory and applications of satisfiability testing. Bacchus, F. & Walsh, T. (eds.). Berlin: Springer, p. 122-134 13 p. (Lecture Notes in Computer Science; vol. 3569).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  10. Sums of squares, satisfiability and maximum satisfiability

    van Maaren, H. & van Norden, L., 2005, Theory and applications of satisfiability testing. Bacchus, F. & Walsh, T. (eds.). Berlin: Springer, p. 294-308 15 p. (Lecture Notes in Computer Science; vol. 3569).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  11. 2006
  12. Generation of classes of robust periodic railway timetables

    Odijk, MA., Romeijn, H. E. & van Maaren, H., 2006, In : Computers & Operations Research. 33, p. 2283-2299 17 p.

    Research output: Contribution to journalArticleScientificpeer-review

  13. March_dl: Adding adaptive heuristics and a new branding strategy

    Heule, MJH. & van Maaren, H., 2006, In : Journal on Satisfiability, Boolean Modeling and Computation. 2, 1-4, p. 47-59 13 p.

    Research output: Contribution to journalArticleScientificpeer-review

Previous 1 2 3 4 5 6 7 8 ...13 Next

ID: 18282