Sciweavers

SAT
2010
Springer
170views Hardware» more  SAT 2010»
14 years 4 months ago
Assignment Stack Shrinking
Assignment stack shrinking is a technique that is intended to speed up the performance of modern complete SAT solvers. Shrinking was shown to be efficient in SAT’04 competition w...
Alexander Nadel, Vadim Ryvchin