Electronic Notes in Discrete Mathematics, Volume 9

Volume 9, June 2001

LICS 2001 Workshop on Theory and Applications of Satisfiability Testing (SAT 2001), Boston, Massachusetts, USA, 14-15 June 2001
maintained by Schloss Dagstuhl LZI, founded at University of Trier