Tommi Junttila

Available identifiers

zbMath Open junttila.tommi-aMaRDI QIDQ436410

List of research outcomes

Publication	Date of Publication	Type
An adaptive prefix-assignment technique for symmetry reduction	2020-01-15	Paper
Engineering an Efficient Canonical Labeling Tool for Large and Sparse Graphs	2019-09-11	Paper
An adaptive prefix-assignment technique for symmetry reduction	2017-11-15	Paper
Simulating Parity Reasoning	2014-01-17	Paper
Conflict-Driven XOR-Clause Learning	2013-08-12	Paper
SMT-Based Induction Methods for Timed Systems	2012-11-21	Paper
Exploiting step semantics for efficient bounded model checking of asynchronous systems	2012-07-20	Paper
Partitioning Search Spaces of a Randomized Search	2011-11-22	Paper
Conflict Propagation and Component Recursion for Canonical Labeling	2011-05-12	Paper
Extending Clause Learning DPLL with Parity Reasoning	2011-05-11	Paper
Partitioning SAT Instances for Distributed Solving	2010-10-12	Paper
Incorporating clause learning in grid-based randomized SAT solving	2009-10-26	Paper
Limitations of restricted branching in clause learning	2009-08-06	Paper
Justification-Based Local Search with Adaptive Noise Strategies	2009-01-27	Paper
Encoding Queues in Satisfiability Modulo Theories Based Bounded Model Checking	2009-01-27	Paper
Strategies for Solving SAT in Grids by Randomized Search	2009-01-27	Paper
Incorporating Learning in Grid-Based Randomized SAT Solving	2008-11-04	Paper
Limitations of Restricted Branching in Clause Learning	2008-09-02	Paper
Linear Encodings of Bounded LTL Model Checking	2007-10-11	Paper
Bounded Model Checking for Weak Alternating Büchi Automata	2007-09-05	Paper
M\textbf{ath}SAT: Tight integration of SAT and mathematical decision procedures	2007-01-24	Paper
Efficient theory combination via Boolean search	2006-10-25	Paper
Formal Methods in Computer-Aided Design	2006-10-20	Paper
Unrestricted vs restricted cut in a tableau method for Boolean circuits	2006-01-23	Paper
Computer Aided Verification	2006-01-10	Paper
Computer Aided Verification	2006-01-10	Paper
Applications and Theory of Petri Nets 2004	2005-12-23	Paper
Verification, Model Checking, and Abstract Interpretation	2005-12-06	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2005-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q2767086	2002-01-28	Paper
Computational complexity of the place/transition-net symmetry reduction method	2001-10-23	Paper
https://portal.mardi4nfdi.de/entity/Q4264235	2000-02-16	Paper

Research outcomes over time

This page was built for person: Tommi Junttila