BibTeX record conf/sat/ArgelichCLM09

download as .bib file

@inproceedings{DBLP:conf/sat/ArgelichCLM09,
  author    = {Josep Argelich and
               Alba Cabiscol and
               In{\^{e}}s Lynce and
               Felip Many{\`{a}}},
  title     = {Sequential Encodings from Max-CSP into Partial Max-SAT},
  booktitle = {{SAT}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5584},
  pages     = {161--166},
  publisher = {Springer},
  year      = {2009}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics