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
https://portal.mardi4nfdi.de/entity/Q3639755	2009-10-26	Paper
Limitations of restricted branching in clause learning	2009-08-06	Paper
Strategies for Solving SAT in Grids by Randomized Search	2009-01-27	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
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
https://portal.mardi4nfdi.de/entity/Q2736412	2001-10-23	Paper
https://portal.mardi4nfdi.de/entity/Q4264235	2000-02-16	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Tommi Junttila