@InProceedings{l02-p341-355,
  AUTHOR    = {Jianer Chen and Iyad Kanj},
  TITLE     = {Improved Exact Algorithms for MAX-SAT},
  YEAR      = 2002,
  BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)},
  ADDRESS   = {Cancun, Mexico},
  PAGES     = {341--355},
  KEYWORDS  = {}}