DIMACS Workshop on the Satisfiability Problem: Theory and Applications

March 11 - 12, 1996
Rutgers University, DIMACS Center, Piscataway, NJ

Ding-Zhu Du, University of Minnesota, dzd@cs.umn.edu
Jun Gu, University of Calgary, gu@enel.ucalgary.ca
Panos Pardalos, University of Florida, ardalos@ufl.edu
Presented under the auspices of the DIMACS Special Year on Logic and Algorithms.

Workshop Index
DIMACS Homepage
Contacting the Center
Document last modified on July 8, 1998.