Importance de la semantique dans le codage CNF de constraintes de cardinalite: Application au diagnostic de SED

A Anbulagan, Alban Grastien

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Actes des Quatriemes Journees Francophones de Programmation par Contraintes (JFPC 2008)
Editors	Gilles Trombettoni
Place of Publication	Nantes, France
Publisher	Laboratoire D'Informatique de Nantes Atlantique (LINA)
Pages	31-40
Edition	Peer Reviewed
Publication status	Published - 2008
Event	Quatriemes Journees Francophones de Programmation par Contraintes (JFPC 2008) - Nantes France Duration: 1 Jan 2008 → … http://users.rsise.anu.edu.au/~anbu/papers/CP08.pdf

Conference	Quatriemes Journees Francophones de Programmation par Contraintes (JFPC 2008)
Period	1/01/08 → …
Other	June 4-6 2008
Internet address	http://users.rsise.anu.edu.au/~anbu/papers/CP08.pdf

Cite this

Anbulagan, A ; Grastien, Alban. / Importance de la semantique dans le codage CNF de constraintes de cardinalite: Application au diagnostic de SED. Actes des Quatriemes Journees Francophones de Programmation par Contraintes (JFPC 2008). editor / Gilles Trombettoni. Peer Reviewed. ed. Nantes, France : Laboratoire D'Informatique de Nantes Atlantique (LINA), 2008. pp. 31-40

@inproceedings{70c0b9ce19954f0eb9e6546d2e0fc8ca,

title = "Importance de la semantique dans le codage CNF de constraintes de cardinalite: Application au diagnostic de SED",

author = "A Anbulagan and Alban Grastien",

year = "2008",

language = "English",

pages = "31--40",

editor = "{Gilles Trombettoni}",

booktitle = "Actes des Quatriemes Journees Francophones de Programmation par Contraintes (JFPC 2008)",

publisher = "Laboratoire D'Informatique de Nantes Atlantique (LINA)",

edition = "Peer Reviewed",

note = "Quatriemes Journees Francophones de Programmation par Contraintes (JFPC 2008) ; Conference date: 01-01-2008",

url = "http://users.rsise.anu.edu.au/~anbu/papers/CP08.pdf",

}

Anbulagan, A & Grastien, A 2008, Importance de la semantique dans le codage CNF de constraintes de cardinalite: Application au diagnostic de SED. in GT (ed.), Actes des Quatriemes Journees Francophones de Programmation par Contraintes (JFPC 2008). Peer Reviewed edn, Laboratoire D'Informatique de Nantes Atlantique (LINA), Nantes, France, pp. 31-40, Quatriemes Journees Francophones de Programmation par Contraintes (JFPC 2008), 1/01/08.

Importance de la semantique dans le codage CNF de constraintes de cardinalite: Application au diagnostic de SED. / Anbulagan, A; Grastien, Alban.
Actes des Quatriemes Journees Francophones de Programmation par Contraintes (JFPC 2008). ed. / Gilles Trombettoni. Peer Reviewed. ed. Nantes, France: Laboratoire D'Informatique de Nantes Atlantique (LINA), 2008. p. 31-40.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Importance de la semantique dans le codage CNF de constraintes de cardinalite: Application au diagnostic de SED

AU - Anbulagan, A

AU - Grastien, Alban

PY - 2008

Y1 - 2008

M3 - Conference contribution

SP - 31

EP - 40

BT - Actes des Quatriemes Journees Francophones de Programmation par Contraintes (JFPC 2008)

A2 - null, Gilles Trombettoni

PB - Laboratoire D'Informatique de Nantes Atlantique (LINA)

CY - Nantes, France

T2 - Quatriemes Journees Francophones de Programmation par Contraintes (JFPC 2008)

Y2 - 1 January 2008

ER -