Generating Clique Coloring Problem Formulas

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

Generating Clique Coloring Problem Formulas

Norbert MantheyNorbert Manthey
Generating Clique Coloring Problem Formulas


Norbert Manthey
Generating Clique Coloring Problem Formulas
In Anton Belov and Daniel Diepold and Marijn J.H. Heule and Matti Järvisalo, eds., Proceedings of SAT Competition 2014, volume B-2014-2 of Department of Computer Science Series of Publications B, 89, 2014. University of Helsinki, Helsinki, Finland
@inproceedings{M2014,
  author    = {Norbert Manthey},
  title     = {Generating Clique Coloring Problem Formulas},
  editor    = {Anton Belov and Daniel Diepold and Marijn {J.H.} Heule and Matti
               J{\"{a}}rvisalo},
  booktitle = {Proceedings of {SAT} Competition 2014},
  series    = {Department of Computer Science Series of Publications B},
  volume    = {B-2014-2},
  publisher = {University of Helsinki, Helsinki, Finland},
  year      = {2014},
  pages     = {89}
}