Tero Laitinen

According to our database, Tero Laitinen authored at least 10 papers between 2010 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Conflict-Driven XOR-Clause Learning (extended version).

Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä

CoRR, 2014

Classifying and Propagating Parity Constraints (extended version).

Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä

CoRR, 2014

2013

Simulating Parity Reasoning (extended version).

Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä

CoRR, 2013

Simulating Parity Reasoning.

Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

2012

Extending Clause Learning SAT Solvers with Complete Parity Reasoning (extended version)

Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä

CoRR, 2012

Conflict-Driven XOR-Clause Learning.

Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

Extending Clause Learning SAT Solvers with Complete Parity Reasoning.

Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä

Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

Classifying and Propagating Parity Constraints.

Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä

Proceedings of the Principles and Practice of Constraint Programming, 2012

2011

Equivalence Class Based Parity Reasoning with DPLL(XOR).

Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä

Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011

2010

Extending Clause Learning DPLL with Parity Reasoning.

Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä

Proceedings of the ECAI 2010, 2010