Mark Dufour

Publication Activity (10 Years)

Years Active: 2004-2004
Publications (10 Years): 0

Publications

Marijn Heule, Mark Dufour, Joris E. van Zwieten, Hans van Maaren
March_eq: Implementing Additional Reasoning into an Efficient Look-Ahead SAT Solver. SAT (Selected Papers (2004)