Tero Laitinen

Publication Activity (10 Years)

Years Active: 2010-2014
Publications (10 Years): 0

Top Topics

Deductive Reasoning

Reasoning Systems

Clause Learning

Top Venues

Publications

Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä
Classifying and Propagating Parity Constraints (extended version). CoRR (2014)
Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä
Conflict-Driven XOR-Clause Learning (extended version). CoRR (2014)
Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä
Simulating Parity Reasoning (extended version). CoRR (2013)
Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä
Simulating Parity Reasoning. LPAR (2013)
Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä
Extending Clause Learning SAT Solvers with Complete Parity Reasoning (extended version) CoRR (2012)
Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä
Classifying and Propagating Parity Constraints. CP (2012)
Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä
Conflict-Driven XOR-Clause Learning. SAT (2012)
Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä
Extending Clause Learning SAT Solvers with Complete Parity Reasoning. ICTAI (2012)
Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä
Equivalence Class Based Parity Reasoning with DPLL(XOR). ICTAI (2011)
Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä
Extending Clause Learning DPLL with Parity Reasoning. ECAI (2010)