Tommi Junttila

Identifiers

• name variant Tommi Junttila 0.60 · backfill

Papers (7)

1. Conflict-Driven XOR-Clause Learning (extended version) cs.LO · 2014 · author #2
2. Classifying and Propagating Parity Constraints (extended version) cs.LO · 2014 · author #2
3. Simulating Parity Reasoning (extended version) cs.LO · 2013 · author #2
4. Bounded Model Checking of an MITL Fragment for Timed Automata cs.LO · 2013 · author #2
5. Extending Clause Learning SAT Solvers with Complete Parity Reasoning (extended version) cs.LO · 2012 · author #2
6. SMT-based Induction Methods for Timed Systems cs.LO · 2012 · author #2
7. Linear Encodings of Bounded LTL Model Checking cs.LO · 2006 · author #3

Mentions

• 1407.6571 #2 · backfill · confidence 0.70 Tommi Junttila
• 1406.4698 #2 · backfill · confidence 0.70 Tommi Junttila
• 1311.4289 #2 · backfill · confidence 0.70 Tommi Junttila
• 1304.7209 #2 · backfill · confidence 0.70 Tommi Junttila
• 1207.0988 #2 · backfill · confidence 0.70 Tommi Junttila
• 1204.5639 #2 · backfill · confidence 0.70 Tommi Junttila

Frequent Coauthors

• Ilkka Niemel\"a 6 shared papers
• Tero Laitinen 4 shared papers
• Roland Kindermann 2 shared papers
• Armin Biere 1 shared papers
• Keijo Heljanko 1 shared papers
• Timo Latvala 1 shared papers
• Viktor Schuppan 1 shared papers