Improving Backtrack Search for SAT by Means of Redundancy (1999)

Cached

Download Links

by Laure Brisoux , Éric Grégoire , Lakhdar Saïs
Citations:7 - 3 self