Tero Laitinen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2010–2013
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | LPAR | Simulating Parity Reasoning. | Tero Laitinen, Tommi A. Junttila, Ilkka Niemel |
| 2012 | CP | Classifying and Propagating Parity Constraints. | Tero Laitinen, Tommi A. Junttila, Ilkka Niemel |
| 2012 | ICTAI | Extending Clause Learning SAT Solvers with Complete Parity Reasoning. | Tero Laitinen, Tommi A. Junttila, Ilkka Niemel |
| 2012 | SAT | Conflict-Driven XOR-Clause Learning. | Tero Laitinen, Tommi A. Junttila, Ilkka Niemel |
| 2011 | ICTAI | Equivalence Class Based Parity Reasoning with DPLL(XOR). | Tero Laitinen, Tommi A. Junttila, Ilkka Niemel |
| 2010 | ECAI | Extending Clause Learning DPLL with Parity Reasoning. | Tero Laitinen, Tommi A. Junttila, Ilkka Niemel |