% FROM: Citations4SAT.bib via BibSplit on  Sat Sep 25 13:48:18 EDT 2004 
@techreport{2004-TR-Li,
  author = "X.Y. Li and M.F. Stallmann and F. Brglez",
  title = "Engineering an Improved {MAX-SAT} Solver",
  institution = "Computer Science Department, North Carolina State University",
  address = "Raleigh, NC",
  number = "01",
  month = "January",
  year = "2004",
}