1. 2006
  2. Whose side are you on? Finding solutions in a biased search-tree

    Heule, MJH. & van Maaren, H., 2006, Proceedings of Guangzhou Symposium on Satisfiability in Logic Based Modeling. s.n. (ed.). Guangzhou, China: Sun-Yat-sen University, p. 82-90 9 p.

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

  3. 2005
  4. 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

  5. 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

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

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

    Research output: ThesisDissertation (TU Delft)Scientific

  7. 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

  8. 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

  9. 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

  10. 2003
  11. 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

  12. Message from the Program Chairs

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

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

Previous 1...7 8 9 10 11 Next

ID: 18282