Mark Dufour

According to our database, Mark Dufour authored at least 1 paper in 2004.

Collaborative distances:

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

2004

March_eq: Implementing Additional Reasoning into an Efficient Look-Ahead SAT Solver.

Marijn Heule, Mark Dufour, Joris E. van Zwieten, Hans van Maaren

Proceedings of the Theory and Applications of Satisfiability Testing, 2004