Tommi A. Junttila
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
30
Venues
17
Active years
2004–2022
Best venue rank
A*
Where they publish
Papers
30 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ISoLA | Formal Analysis of Lending Pools in Decentralized Finance. | Massimo Bartoletti, James Hsin-yu Chiang, Tommi A. Junttila, Alberto Lluch-Lafuente, Massimiliano Mirelli, Andrea Vandin |
| 2017 | SAT | An Adaptive Prefix-Assignment Technique for Symmetry Reduction. | Tommi A. Junttila, Matti Karppa, Petteri Kaski, Jukka Kohonen |
| 2013 | LPAR | Simulating Parity Reasoning. | Tero Laitinen, Tommi A. Junttila, Ilkka Niemel |
| 2012 | CP | Classifying and Propagating Parity Constraints. | Tero Laitinen, Tommi A. Junttila, Ilkka Niemel |
| 2012 | FORTE | Beyond Lassos: Complete SMT-Based Bounded Model Checking for Timed Automata. | Roland Kindermann, Tommi A. Junttila, Ilkka Niemel |
| 2012 | ICTAI | Extending Clause Learning SAT Solvers with Complete Parity Reasoning. | Tero Laitinen, Tommi A. Junttila, Ilkka Niemel |
| 2012 | SAT | Conflict-Driven XOR-Clause Learning. | Tero Laitinen, Tommi A. Junttila, Ilkka Niemel |
| 2011 | CP | Grid-Based SAT Solving with Iterative Partitioning and Clause Learning. | Antti Eero Johannes Hyvrinen, Tommi A. Junttila, Ilkka Niemel |
| 2011 | ICTAI | Equivalence Class Based Parity Reasoning with DPLL(XOR). | Tero Laitinen, Tommi A. Junttila, Ilkka Niemel |
| 2010 | CP | Exact Cover via Satisfiability: An Empirical Study. | Tommi A. Junttila, Petteri Kaski |
| 2010 | ECAI | Extending Clause Learning DPLL with Parity Reasoning. | Tero Laitinen, Tommi A. Junttila, Ilkka Niemel |
| 2010 | LPAR | Partitioning SAT Instances for Distributed Solving. | Antti Eero Johannes Hyvrinen, Tommi A. Junttila, Ilkka Niemel |
| 2009 | FMCAD | Structure-aware computation of predicate abstraction. | Alessandro Cimatti, Jori Dubrovin, Tommi A. Junttila, Marco Roveri |
| 2008 | AAAI | On the Power of Top-Down Branching Heuristics. | Matti Jrvisalo, Tommi A. Junttila |
| 2008 | AIMSA | Incorporating Learning in Grid-Based Randomized SAT Solving. | Antti Eero Johannes Hyvrinen, Tommi A. Junttila, Ilkka Niemel |
| 2008 | AISC | Strategies for Solving SAT in Grids by Randomized Search. | Antti Eero Johannes Hyvrinen, Tommi A. Junttila, Ilkka Niemel |
| 2008 | ECAI | Justification-Based Non-Clausal Local Search for SAT. | Matti Jrvisalo, Tommi A. Junttila, Ilkka Niemel |
| 2008 | LPAR | Justification-Based Local Search with Adaptive Noise Strategies. | Matti Jrvisalo, Tommi A. Junttila, Ilkka Niemel |
| 2008 | LPAR | Encoding Queues in Satisfiability Modulo Theories Based Bounded Model Checking. | Tommi A. Junttila, Jori Dubrovin |
| 2007 | ALENEX | Engineering an Efficient Canonical Labeling Tool for Large and Sparse Graphs. | Tommi A. Junttila, Petteri Kaski |
| 2007 | CP | Limitations of Restricted Branching in Clause Learning. | Matti Jrvisalo, Tommi A. Junttila |
| 2006 | CAV | Bounded Model Checking for Weak Alternating Bchi Automata. | Keijo Heljanko, Tommi A. Junttila, Misa Keinnen, Martin Lange, Timo Latvala |
| 2006 | SAT | A Distribution Method for Solving SAT in Grids. | Antti Eero Johannes Hyvrinen, Tommi A. Junttila, Ilkka Niemel |
| 2005 | CADE | The MathSAT 3 System. | Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani |
| 2005 | CAV | Efficient Satisfiability Modulo Theories via Delayed Theory Combination. | Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Silvio Ranise, Peter van Rossum, Roberto Sebastiani |
| 2005 | CAV | Incremental and Complete Bounded Model Checking for Full PLTL. | Keijo Heljanko, Tommi A. Junttila, Timo Latvala |
| 2005 | TACAS | An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic. | Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani |
| 2005 | VMCAI | Simple Is Better: Efficient Bounded Model Checking for Past LTL. | Timo Latvala, Armin Biere, Keijo Heljanko, Tommi A. Junttila |
| 2004 | FMCAD | Simple Bounded LTL Model Checking. | Timo Latvala, Armin Biere, Keijo Heljanko, Tommi A. Junttila |
| 2004 | ISAIM | Unrestricted vs Restricted Cut in a Tableau Method for Boolean Circuits. | Matti Jrvisalo, Tommi A. Junttila, Ilkka Niemel |