Tommi Junttila
Tommi Junttila
Verified email at aalto.fi
Title
Cited by
Cited by
Year
Engineering an efficient canonical labeling tool for large and sparse graphs
T Junttila, P Kaski
2007 Proceedings of the Ninth Workshop on Algorithm Engineering and …, 2007
2632007
Linear encodings of bounded LTL model checking
A Biere, K Heljanko, T Junttila, T Latvala, V Schuppan
arXiv preprint cs/0611029, 2006
1832006
Efficient satisfiability modulo theories via delayed theory combination
M Bozzano, R Bruttomesso, A Cimatti, T Junttila, S Ranise, P Van Rossum, ...
International Conference on Computer Aided Verification, 335-349, 2005
1022005
Simple bounded LTL model checking
T Latvala, A Biere, K Heljanko, T Junttila
International Conference on Formal Methods in Computer-Aided Design, 186-200, 2004
1012004
Incremental and complete bounded model checking for full PLTL
K Heljanko, T Junttila, T Latvala
International Conference on Computer Aided Verification, 98-111, 2005
972005
MathSAT: Tight Integration of SAT and Mathematical Decision Procedures
M Bozzano, R Bruttomesso, A Cimatti, T Junttila, P Van Rossum, S Schulz, ...
Journal of Automated Reasoning 35 (1-3), 265-293, 2005
952005
Efficient theory combination via boolean search
M Bozzano, R Bruttomesso, A Cimatti, T Junttila, S Ranise, P van Rossum, ...
Information and Computation 204 (10), 1493-1525, 2006
872006
An incremental and layered procedure for the satisfiability of linear arithmetic logic
M Bozzano, R Bruttomesso, A Cimatti, T Junttila, P Van Rossum, S Schulz, ...
International Conference on Tools and Algorithms for the Construction and …, 2005
872005
An incremental and layered procedure for the satisfiability of linear arithmetic logic
M Bozzano, R Bruttomesso, A Cimatti, T Junttila, P Van Rossum, S Schulz, ...
International Conference on Tools and Algorithms for the Construction and …, 2005
872005
Model checking dynamic and hierarchical UML state machines
T Jussila, J Dubrovin, T Junttila, T Latvala, I Porres, JKU Linz
Proc. MoDeV2a: Model Development, Validation and Verification, 94-110, 2006
792006
The mathsat 3 system
M Bozzano, R Bruttomesso, A Cimatti, T Junttila, P Van Rossum, S Schulz, ...
International Conference on Automated Deduction, 315-321, 2005
692005
Partitioning SAT instances for distributed solving
AEJ Hyvärinen, T Junttila, I Niemelä
International Conference on Logic for Programming Artificial Intelligence …, 2010
572010
Towards an efficient tableau method for Boolean circuit satisfiability checking
TA Junttila, I Niemelä
International Conference on Computational Logic, 553-567, 2000
572000
Unrestricted vs restricted cut in a tableau method for Boolean circuits
M Järvisalo, T Junttila, I Niemelä
Annals of Mathematics and Artificial Intelligence 44 (4), 373-399, 2005
562005
Simple is better: Efficient bounded model checking for past LTL
T Latvala, A Biere, K Heljanko, T Junttila
International Workshop on Verification, Model Checking, and Abstract …, 2005
562005
Symbolic model checking of hierarchical UML state machines
J Dubrovin, T Junttila
2008 8th International Conference on Application of Concurrency to System …, 2008
552008
A distribution method for solving SAT in grids
AEJ Hyvärinen, T Junttila, I Niemelä
International conference on theory and applications of satisfiability …, 2006
522006
Limitations of restricted branching in clause learning
M Järvisalo, T Junttila
Constraints 14 (3), 325-356, 2009
502009
Grid-based SAT solving with iterative partitioning and clause learning
AEJ Hyvärinen, T Junttila, I Niemelä
International Conference on Principles and Practice of Constraint …, 2011
452011
On the symmetry reduction method for Petri Nets and similar formalisms
T Junttila
Helsinki University of Technology, 2003
432003
The system can't perform the operation now. Try again later.
Articles 1–20