Tero Laitinen

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2014
Conflict-Driven XOR-Clause Learning (extended version).
CoRR, 2014

Classifying and Propagating Parity Constraints (extended version).
CoRR, 2014

2013
Simulating Parity Reasoning (extended version).
CoRR, 2013

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

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

Conflict-Driven XOR-Clause Learning.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

Extending Clause Learning SAT Solvers with Complete Parity Reasoning.
Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

Classifying and Propagating Parity Constraints.
Proceedings of the Principles and Practice of Constraint Programming, 2012

2011
Equivalence Class Based Parity Reasoning with DPLL(XOR).
Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011

2010
Extending Clause Learning DPLL with Parity Reasoning.
Proceedings of the ECAI 2010, 2010


  Loading...