DBLP Record 'conf/amai/ShenZ04'

BibTeX

@inproceedings{DBLP:conf/amai/ShenZ04,
  author    = {Haiou Shen and
               Hantao Zhang},
  title     = {Improving Exact Algorithms for MAX-2-SAT},
  booktitle = {AMAI},
  year      = {2004},
  ee        = {http://rutcor.rutgers.edu/$\sim$amai/aimath04/AcceptedPapers/Shen-aimath04.pdf},
  crossref  = {DBLP:conf/amai/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/amai/2004,
  title     = {AI{\&}M 1-2004, Eighth International Symposium on Artificial
               Intelligence and Mathematics, January 4-6, 2004, Fort Lauderdale,
               Florida, USA},
  booktitle = {AMAI},
  year      = {2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}