Book

Maximum SAT

by Peter Edwards (undifferentiated)