BibTeX record conf/ictai/MartinsML11

download as .bib file

@inproceedings{DBLP:conf/ictai/MartinsML11,
  author    = {Ruben Martins and
               Vasco M. Manquinho and
               In{\^{e}}s Lynce},
  title     = {Exploiting Cardinality Encodings in Parallel Maximum Satisfiability},
  booktitle = {{ICTAI}},
  pages     = {313--320},
  publisher = {{IEEE} Computer Society},
  year      = {2011}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics