DIMACS Workshop: Satisfiability Problem: Theory and Applications 1996

maintained by Schloss Dagstuhl LZI, founded at University of Trier