All authors
/ Author
Knuth, Donald
Art of Computer Programming, Volume 4, Fascicle 6, The: Satisfiability
[Paperback]