March_eq: Implementing Additional Reasoning into an Efficient Look-Ahead SAT Solver
| Publication | Article in Lecture Notes in Computer Science, published January 2005 |
|---|---|
| Authors | Marijn Heule, Mark Dufour, Joris van Zwieten, Hans van Maaren |
This is the public page for a publication record in Dimensions, a free research insights platform that brings together information about funding, scholarly outputs, policy, patents and grants.
Loading metrics…