WVPub180: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Marcel Lippmann (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
Markus Krötzsch (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
||
| Zeile 9: | Zeile 9: | ||
|Year=2014 | |Year=2014 | ||
|Month= | |Month= | ||
|Journal=10ièmes Journées Francophones de Programmation par Contraintes ( | |Journal=10ièmes Journées Francophones de Programmation par Contraintes (JFPC’14) | ||
|Note= | |Note= | ||
|Number= | |Number= | ||
Aktuelle Version vom 16. April 2015, 12:15 Uhr
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
Détection de contraintes de cardinalité dans les CNF
10ièmes Journées Francophones de Programmation par Contraintes (JFPC’14), 253-262, 2014
- 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}
}
