The Art of Computer Programming, Volume 4, Fascicle 6: Satisfiability

Programming

by Donald E. Knuth

Paperback

ISBN: 978-0-13-439760-3

ISBN-10: 0-13-439760-6

Addison-Wesley Professional · 2015