No photo of Tommi Junttila

Tommi Junttila

  • Phone+358504300861
  • Aalto SCI Computer Science Konemiehentie 2

19982022

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Chapter

Search results

  • 2009

    Non-Clausal SAT and ATPG

    Drechsler, R., Junttila, T. & Niemelä, I., 2009, Handbook of Satisfiability. Biere, A., Heule, M. J. H., van Maaren, H. & Walsh, T. (eds.). IOS Press, p. 655-693 39 p. (Frontiers in Artificial Intelligence and Applications; vol. 185, no. 1).

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

    10 Citations (Scopus)
  • 2006

    MathSAT: Tight Integration of SAT and mathematical decision procedures

    Junttila, T., Bozzano, M., Bruttomesso, R., Cimatti, A., van Rossum, P., Schulz, S. & Sebastiani, R., 2006, SAT 2005; Satisfiability Research in the Year 2005. Giunchiglia, E. & Walsh, T. (eds.). Berlin: Springer, p. 265-293

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

    49 Citations (Scopus)
Your message has successfully been sent.
Your message was not sent due to an error.