DIMACS Workshop on the Satisfiability Problem: Theory and Applications

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

Organizers:

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

• Workshop Announcement

• Call for Participation

• Program

• How to Register

• Information on Accommodations

• Information on Travel Arrangements

• Proceedings available from AMS (Volume 35 in the DIMACS Series):
  Ordering information, preface and table of contents
  

Workshop Index

DIMACS Homepage