Antti Hyvärinen: Publications by year

2011

• Grid Based Propositional Satisfiability Solving
  Antti E. J. Hyvärinen.
  Doctoral Dissertation,
  Aalto University publication series Doctoral Dissertations 118/2011
  Aalto Print
  Helsinki 2011
  Finland
  [pdf]
• Grid-Based SAT Solving with Iterative Partitioning and Clause Learning
  Antti E. J. Hyvärinen, Tommi Junttila, and Ilkka Niemelä
  In Proceedings of the 17th International Conference on Principles and Practice of Constraint Programming (CP 2011),
  J. Lee, editor,
  volume 6876 of Lecture Notes in Computer Science,
  pages 385 -- 399.
  Springer, 2011
  
• Partitioning Search Spaces of a Randomized Search
  Antti E. J. Hyvärinen, Tommi Junttila, and Ilkka Niemelä
  Fundamenta Informaticae, 107(2011)
  pages 289-311.
  

2010

• Partitioning SAT Instances for Distributed Solving
  Antti E. J. Hyvärinen, Tommi Junttila, and Ilkka Niemelä
  In Proceedings of the 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR2010),
  C. Fermüller, A. Voronkov, editors,
  volume 6397 of Lecture Notes in Computer Science,
  pages 372-386.
  Springer, 2010
  

• Partitioning SAT Instances for Distributed Solving
  Antti E. J. Hyvärinen, Tommi Junttila, and Ilkka Niemelä
  In Proceedings of the 3rd International Workshop on Logic and Search (LaSh2010) [pdf]

2009

• Partitioning Search Spaces of a Randomized Search
  Antti E. J. Hyvärinen, Tommi Junttila, and Ilkka Niemelä
  In Proceedings of the 11th Conference of the Italian Association for Artificial Intelligence (AI*IA 2009),
  Roberto Serra, Rita Cucchiara, editors,
  volume 5883 of Lecture Notes in Artificial Intelligence,
  pages 243-252.
  Springer, 2009.
  
• Partitioning Search Spaces of a Randomized Search (extended version)
  Antti E. J. Hyvärinen, Tommi Junttila, and Ilkka Niemelä
  The original publication will appear in Proceedings of the 11th Conference of the Italian Association for Artificial Intelligence (AI*IA 2009), and will be available at www.springerlink.com.
  [pdf]
• Incorporating Clause Learning in Grid-Based Randomized SAT Solving
  Antti E. J. Hyvärinen, Tommi Junttila, and Ilkka Niemelä
  Journal on Satisfiability, Boolean Modeling and Computation, 6(2009)
  pages 223-244.
  [pdf]
• Approaches to Grid-Based SAT Solving
  Antti E. J. Hyvärinen. Research Report TKK-ICS-R16 , Helsinki University of Technology,
  Department of Information and Computer Science
  Espoo, Finland,
  May 2009.
  Note: A reprint of the Licentiate's Thesis
  [ps] [pdf] [abstract/bibtex]
• Approaches to Grid-Based SAT Solving
  Antti E. J. Hyvärinen. Licentiate's Thesis, Helsinki University of Technology,
  Laboratory for Theoretical Computer Science,
  Espoo, Finland,
  March 2009.
  

2008

• Incorporating Learning in Grid-Based Randomized SAT Solving
  Antti E. J. Hyvärinen, Tommi Junttila, and Ilkka Niemelä
  In Proceedings of the 13th International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA 2008),
  Daniel Dochev, Marco Pistore, Paolo Traverso, editors,
  volume 5253 of Lecture Notes in Artificial Intelligence,
  pages 247-261.
  Springer, 2008.
  [ps] [pdf] [abstract/bibtex]
• Strategies for solving SAT in Grids by randomized search
  Antti E. J. Hyvärinen, Tommi Junttila, and Ilkka Niemelä
  In Proceedings of the 9th International Conference on Artificial Intelligence and Symbolic Computation (AISC 2008),
  Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, and Freeke Wiedijk, editors,
  volume 5144 of Lecture Notes in Artificial Intelligence,
  pages 125-140.
  Springer, 2008.
  [ps] [pdf] [abstract/bibtex]
• Using the Grid for Enhancing the Performance of a Medical Image Search Engine
  Mikko Juhani Pitkanen, Xin Zhou, Antti E. J. Hyvärinen, and Henning Müller
  In Proceedings of the 21st IEEE International Symposium on Computer-Based Medical Systems (IEEE CBMS 2008),
  Seppo Puuronen, Mykola Pechenizkiy, Alexey Tsymbal, and Dah-Jye Lee, editors,
  pages 367-372.
  IEEE Computer Society, 2008
  [ps] [pdf] [abstract/bibtex]

2006

• A Distribution Method for Solving SAT in Grids
  Antti E. J. Hyvärinen, Tommi Junttila, and Ilkka Niemelä
  In Proceedings of the 9th International Conference on Theory and Applications of Satisfiability Testing (SAT 2006),
  Armin Biere and Carla P. Gomes, editors,
  volume 4121 of Lecture Notes in Computer Science,
  pages 430-435.
  Springer, 2006.
  [ps] [pdf] [abstract/bibtex] [extended version ps] [extended version pdf]
• Lauselogiikan toteutuvuusongelman ratkaiseminen laskennallisessa gridissä
  Antti E. J. Hyvärinen,
  In Lea Kutvonen, and Päivi Kuuppelomäki, editors, Tietojenkäsittelytieteen päivät 2006 ,
  volume B-2006-3 of Tietojenkäsittelytieteen laitoksen julkaisjua sarja B
  pages 37-43.
  Tietojenkäsittelytieteen laitos, 2006.
  [ps] [pdf] [abstract/bibtex]
• SATU: A system for distributed propositional satisfiability checking in computational grids
  Antti E. J. Hyvärinen. Research Report A100 , Helsinki University of Technology,
  Laboratory for Theoretical Computer Science,
  Espoo, Finland,
  February 2006.
  Note: A reprint of the Master's Thesis
  [ps] [pdf] [abstract/bibtex]

2005

• SATU: A system for distributed propositional satisfiability checking in computational grids
  Antti E. J. Hyvärinen. Master's Thesis, Helsinki University of Technology,
  Laboratory for Theoretical Computer Science,
  Espoo, Finland,
  February 2006.
  

Last modified Wednesday, 30-Nov-2011 14:01:47 EET