Ilkka Niemel\"a

Identifiers

• name variant Ilkka Niemel\"a 0.60 · backfill

Papers (8)

1. Conflict-Driven XOR-Clause Learning (extended version) cs.LO · 2014 · author #3
2. Classifying and Propagating Parity Constraints (extended version) cs.LO · 2014 · author #3
3. Simulating Parity Reasoning (extended version) cs.LO · 2013 · author #3
4. Bounded Model Checking of an MITL Fragment for Timed Automata cs.LO · 2013 · author #3
5. Extending Clause Learning SAT Solvers with Complete Parity Reasoning (extended version) cs.LO · 2012 · author #3
6. SMT-based Induction Methods for Timed Systems cs.LO · 2012 · author #3
7. Translating Answer-Set Programs into Bit-Vector Logic cs.AI · 2011 · author #3
8. Bounded LTL Model Checking with Stable Models cs.LO · 2003 · author #2

Mentions

• 1407.6571 #3 · backfill · confidence 0.70 Ilkka Niemel\"a
• 1406.4698 #3 · backfill · confidence 0.70 Ilkka Niemel\"a
• 1311.4289 #3 · backfill · confidence 0.70 Ilkka Niemel\"a
• 1304.7209 #3 · backfill · confidence 0.70 Ilkka Niemel\"a
• 1207.0988 #3 · backfill · confidence 0.70 Ilkka Niemel\"a
• 1204.5639 #3 · backfill · confidence 0.70 Ilkka Niemel\"a
• 1108.5837 #3 · backfill · confidence 0.70 Ilkka Niemel\"a

Frequent Coauthors

• Tommi Junttila 6 shared papers
• Tero Laitinen 4 shared papers
• Roland Kindermann 2 shared papers
• Keijo Heljanko 1 shared papers
• Mai Nguyen 1 shared papers
• Tomi Janhunen 1 shared papers