Recognizing disguised nr(1) instances of the satisfiability problem (1980)

by B Aspvall
Venue:Journal of Algorithms