Tero Laitinen

Identifiers

• name variant Tero Laitinen 0.60 · backfill

Papers (4)

1. Conflict-Driven XOR-Clause Learning (extended version) cs.LO · 2014 · author #1
2. Classifying and Propagating Parity Constraints (extended version) cs.LO · 2014 · author #1
3. Simulating Parity Reasoning (extended version) cs.LO · 2013 · author #1
4. Extending Clause Learning SAT Solvers with Complete Parity Reasoning (extended version) cs.LO · 2012 · author #1

Mentions

• 1407.6571 #1 · backfill · confidence 0.70 Tero Laitinen
• 1406.4698 #1 · backfill · confidence 0.70 Tero Laitinen
• 1311.4289 #1 · backfill · confidence 0.70 Tero Laitinen
• 1207.0988 #1 · backfill · confidence 0.70 Tero Laitinen

Frequent Coauthors

• Ilkka Niemel\"a 4 shared papers
• Tommi Junttila 4 shared papers