Modeling SAT-Attack Search Complexity.

Saran Phatharodom, Nagarajan Kandasamy, Ioannis Savidis

Browse the full ISCAS paper archive.