Tommi A. Junttila - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 55 from 55

2021

Non-Clausal SAT and ATPGRolf Drechsler, Tommi A. Junttila, Ilkka Niemelä. In Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh, editors, Handbook of Satisfiability - Second Edition. Volume 336 of Frontiers in Artificial Intelligence and Applications, pages 1047-1086, IOS Press, 2021. [doi]

2020

An adaptive prefix-assignment technique for symmetry reductionTommi A. Junttila, Matti Karppa, Petteri Kaski, Jukka Kohonen. JSC, 99:21-49, 2020. [doi]

2017

An Adaptive Prefix-Assignment Technique for Symmetry ReductionTommi A. Junttila, Matti Karppa, Petteri Kaski, Jukka Kohonen. sat 2017: 101-118 [doi]

2013

Bounded Model Checking of an MITL Fragment for Timed AutomataRoland Kindermann, Tommi A. Junttila, Ilkka Niemelä. acsd 2013: 216-225 [doi]

Simulating Parity ReasoningTero Laitinen, Tommi A. Junttila, Ilkka Niemelä. lpar 2013: 568-583 [doi]

2012

2011

Grid-Based SAT Solving with Iterative Partitioning and Clause LearningAntti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä. cp 2011: 385-399 [doi]

Partitioning Search Spaces of a Randomized SearchAntti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä. FUIN, 107(2-3):289-311, 2011. [doi]

Conflict Propagation and Component Recursion for Canonical LabelingTommi A. Junttila, Petteri Kaski. tapas 2011: 151-162 [doi]

Modeling for Symbolic Analysis of Safety Instrumented Systems with ClocksRoland Kindermann, Tommi A. Junttila, Ilkka Niemelä. acsd 2011: 185-194 [doi]

Equivalence Class Based Parity Reasoning with DPLL(XOR)Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä. ictai 2011: 649-658 [doi]

Efficient model checking of PSL safety propertiesTuomas Launiainen, Keijo Heljanko, Tommi A. Junttila. iet-cdt, 5(6):479-492, 2011. [doi]

2010

2009

Structure-aware computation of predicate abstractionAlessandro Cimatti, Jori Dubrovin, Tommi A. Junttila, Marco Roveri. FMCAD 2009: 9-16 [doi]

Non-Clausal SAT and ATPGRolf Drechsler, Tommi A. Junttila, Ilkka NiemelÃ¤. In Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh, editors, Handbook of Satisfiability. Volume 185 of Frontiers in Artificial Intelligence and Applications, pages 655-693, IOS Press, 2009. [doi]

Partitioning Search Spaces of a Randomized SearchAntti Eero Johannes HyvÃ¤rinen, Tommi A. Junttila, Ilkka NiemelÃ¤. aiia 2009: 243-252 [doi]

Incorporating Clause Learning in Grid-Based Randomized SAT SolvingAntti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä. jsat, 6(4):223-244, 2009. [doi]

Limitations of restricted branching in clause learningMatti JÃ¤rvisalo, Tommi A. Junttila. constraints, 14(3):325-356, 2009. [doi]

2008

Symbolic model checking of hierarchical UML state machinesJori Dubrovin, Tommi A. Junttila. acsd 2008: 108-117 [doi]

Symbolic Step Encodings for Object Based Communicating State MachinesJori Dubrovin, Tommi A. Junttila, Keijo Heljanko. fmoods 2008: 96-112 [doi]

Incorporating Learning in Grid-Based Randomized SAT SolvingAntti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä. aimsa 2008: 247-261 [doi]

Strategies for Solving SAT in Grids by Randomized SearchAntti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä. AISC 2008: 125-140 [doi]

Encoding Queues in Satisfiability Modulo Theories Based Bounded Model CheckingTommi A. Junttila, Jori Dubrovin. lpar 2008: 290-304 [doi]

On the Power of Top-Down Branching HeuristicsMatti Järvisalo, Tommi A. Junttila. AAAI 2008: 304-309

Justification-Based Non-Clausal Local Search for SATMatti Järvisalo, Tommi A. Junttila, Ilkka Niemelä. ecai 2008: 535-539 [doi]

Justification-Based Local Search with Adaptive Noise StrategiesMatti Järvisalo, Tommi A. Junttila, Ilkka Niemelä. lpar 2008: 31-46 [doi]

2007

Engineering an Efficient Canonical Labeling Tool for Large and Sparse GraphsTommi A. Junttila, Petteri Kaski. alenex 2007: [doi]

Limitations of Restricted Branching in Clause LearningMatti Järvisalo, Tommi A. Junttila. cp 2007: 348-363 [doi]

2006

2005

The MathSAT 3 SystemMarco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani. cade 2005: 315-321 [doi]

Efficient Satisfiability Modulo Theories via Delayed Theory CombinationMarco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Silvio Ranise, Peter van Rossum, Roberto Sebastiani. cav 2005: 335-349 [doi]

An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic LogicMarco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani. TACAS 2005: 317-333 [doi]

MathSAT: Tight Integration of SAT and Mathematical Decision ProceduresMarco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani. JAR, 35(1-3):265-293, 2005. [doi]

Incremental and Complete Bounded Model Checking for Full PLTLKeijo Heljanko, Tommi A. Junttila, Timo Latvala. cav 2005: 98-111 [doi]

Unrestricted vs restricted cut in a tableau method for Boolean circuitsMatti Järvisalo, Tommi A. Junttila, Ilkka Niemelä. AMAI, 44(4):373-399, 2005. [doi]

Simple Is Better: Efficient Bounded Model Checking for Past LTLTimo Latvala, Armin Biere, Keijo Heljanko, Tommi A. Junttila. vmcai 2005: 380-395 [doi]

2004

2001

Computational Complexity of the Place/Transition-Net Symmetry Reduction MethodTommi A. Junttila. jucs, 7(4):307-326, 2001. [doi]

2000

Towards an Efficient Tableau Method for Boolean Circuit Satisfiability CheckingTommi A. Junttila, Ilkka Niemelä. cl 2000: 553-567 [doi]

1999

Finding Symmetries of Algebraic System NetsTommi A. Junttila. FUIN, 37(3):269-289, 1999.

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Tommi A. Junttila'

Viewing Publication 1 - 55 from 55

2021

2020

2017

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2001

2000

1999

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by TagOR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Tommi A. Junttila'

Viewing Publication 1 - 55 from 55

2021

2020

2017

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2001

2000

1999

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1