2011 |
- BOOKTITLE:
- CP 2011
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 6876
- PAGES:
- 385--399
|
- JOURNAL:
- Fundamenta Informaticae
- VOLUME:
- 107
- PAGES:
- 289--311
|
2010 |
- BOOKTITLE:
- LPAR 2010
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 6397
- PAGES:
- 372--386
|
- BOOKTITLE:
- Third International Workshop on Logic and Search
- PAGES:
- 1--16
|
2009 |
- AUTHORS:
- Hyvärinen Antti E. J.
|
- JOURNAL:
- Journal on Satisfiability, Boolean Modeling and Computation
- VOLUME:
- 6
- PAGES:
- 223--244
|
|
- BOOKTITLE:
- AI*IA 2009
- SERIES:
- Lecture Notes in Artificial Intelligence
- VOLUME:
- 5883
- PAGES:
- 243--252
|
2008 |
- BOOKTITLE:
- AIMSA 2008
- SERIES:
- Lecture Notes in Artificial Intelligence
- VOLUME:
- 5253
- PAGES:
- 247-261
|
- BOOKTITLE:
- AISC 2008
- SERIES:
- Lecture Notes in Artificial Intelligence
- VOLUME:
- 5144
- PAGES:
- 125-140
|
- AUTHORS:
- Pitkanen Mikko Juhani,
- Zhou Xin,
- Hyvärinen Antti E. J.,
- Muller Henning
- BOOKTITLE:
- Proceedings of the The Tewnty-First IEEE International Symposium on Computer-Based Medical Systems, June 17-19, 2008, Jyväskylä, Finland
- PAGES:
- 367-372
|
2006 |
- BOOKTITLE:
- SAT 2006
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 4121
- PAGES:
- 430--435
|
- AUTHORS:
- Hyvärinen Antti E. J.
- BOOKTITLE:
- Tietojenkäsittelytieteen päivät 2006
- SERIES:
- Tietojenkäsittelytieteen laitoksen julkaisjua sarja B
- VOLUME:
- B-2006-3
- PAGES:
- 37 -- 43
|
- AUTHORS:
- Hyvärinen Antti E. J.
|
- AUTHORS:
- Hyvärinen Antti E. J.
|
2005 |
|