Détection de contraintes de cardinalité dans les CNF

Armin BiereArmin Biere, Daniel Le BerreDaniel Le Berre, Emmanuel LoncaEmmanuel Lonca, Norbert MantheyNorbert Manthey

Armin Biere, Daniel Le Berre, Emmanuel Lonca, Norbert Manthey
Détection de contraintes de cardinalité dans les CNF
10ièmes Journées Francophones de Programmation par Contraintes (JFPC’14), 253-262, 2014

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@article{BBLM2014,
  author  = {Armin Biere and Daniel Le Berre and Emmanuel Lonca and Norbert
             Manthey},
  title   = {D{\'{e}}tection de contraintes de cardinalit{\'{e}} dans les {CNF}},
  journal = {10i{\`{e}}mes Journ{\'{e}}es Francophones de Programmation par
             Contraintes (JFPC’14)},
  year    = {2014},
  pages   = {253-262}
}