1. 2013
  2. Software model synthesis using satisfiability solvers

    Heule, MJH. & Verwer, SE., 2013, In : Empirical Software Engineering. 18, 4, p. 825-856 32 p.

    Research output: Contribution to journalArticleScientificpeer-review

  3. Symmetry in gardens of Eden

    Hartman, C., Heule, MJH., Kwekkeboom, K. & Noels, A., 2013, In : The Electronic Journal of Combinatorics. 20, 3, p. 1-19 19 p.

    Research output: Contribution to journalArticleScientificpeer-review

  4. 2012
  5. Automated Reencoding of Boolean Formulas

    Manthey, N., Heule, MJH. & Biere, A., 2012, Proceedings of Haifa Verification Conference 2012. sn (ed.). Berin: Springer, p. 1-16 16 p.

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

  6. Concurrent Cube-and-Conquer

    van der Tak, P., Heule, MJH. & Biere, A., 2012, Theory and Applications of Satisfiability Testing ¿ SAT 2012. Cimatti, A. & Sebastiani, R. (eds.). Berlin: Springer, p. 475-476 2 p. (Lecture Notes in Computer Science; vol. 7317).

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

  7. Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads

    Heule, MJH., Kullmann, O., Wieringa, S. & Biere, A., 2012, Haifa Verification Conference 2011. sn (ed.). Berlin: Springer Verlag, p. 50-65 16 p. (Lecture Notes in Computer Science; vol. 7261).

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

  8. Inprocessing Rules

    Järvisalo, M., Heule, MJH. & Biere, A., 2012, Proceedings of the 6th International Joint Conference, IJCAR. sn (ed.). Berlin: Springer, p. 355-370 16 p. (Lecture Notes in Computer Science; vol. 7364).

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

  9. Simulating Circuit-Level Simplifications on CNF

    Järvisalo, M., Biere, A. & Heule, MJH., 2012, In : Journal of Automated Reasoning. 49, 4, p. 583-619 37 p.

    Research output: Contribution to journalArticleScientificpeer-review

  10. 2011
  11. Between Restarts and Backjumps

    Ramos, A., van der Tak, P. & Heule, MJH., 2011, Theory and Applications of Satisfiability Testing 2011. Sakallah, KA. & Simon, L. (eds.). Berlin, Germany: Springer, p. 216-229 14 p. (Lecture Notes in Computer Science; vol. 6695).

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

  12. EagleUP: Solving Random 3-SAT using SLS with Unit Propagation

    Gableske, O. & Heule, MJH., 2011, 14th International Conference on Theory and application of satisfiability testing (SAT'11). Sakallah, KA. & Simon, L. (eds.). Ann Arbor, MI, USA: Springer, p. 367-368 2 p. (Lecture Notes in Computer Science; vol. 6695).

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

  13. Efficient CNF Simplification based on Binary Implication Graphs

    Heule, MJH., Jarvisalo, M. & Biere, A., 2011, Theory and Applications of Satisfiability Testing 2011. Sakallah, KA. & Simon, L. (eds.). Berlin, Germany: Springer, p. 201-215 15 p. (Lecture Notes in Computer Science; vol. 6695).

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

Previous 1 2 3 4 Next

ID: 147674