SAT 2000 Renesse

The Renesse Issue on Satisfiability
Guest Editors: E. Speckenmeyer, J. Franco and H. van Maaren
Discrete Applied Mathematics Volume 130 (2), (2003)
click to see who is who