DMCA

Effective preprocessing with hyper-resolution and equality reduction (2003)

by Fahiem Bacchus , Jonathan Winter
Venue:In SAT
Citations:80 - 2 self