Resolution d'un probleme de diagnostic de systemes a evenements discrets par SAT

Alban Grastien, A Anbulagan

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

Original language	English
Title of host publication	Troisiemes Journees Francophones de Programmation par Contraintes (JFPC 2007)
Place of Publication	France
Publisher	INRIA
Pages	380-387
Edition	1st - Peer Reviewed
Publication status	Published - 2007
Event	Journees Francophones de Programmation par Contraintes (JFPC 2007) - Rocquencourt France Duration: 1 Jan 2007 → … http://hal.inria.fr/inria-00151241/en

Conference	Journees Francophones de Programmation par Contraintes (JFPC 2007)
Period	1/01/07 → …
Other	June 4-6 2007
Internet address	http://hal.inria.fr/inria-00151241/en

Cite this

@inproceedings{f31b8aceebbd4b119eb531548ddd7bb7,

title = "Resolution d'un probleme de diagnostic de systemes a evenements discrets par SAT",

author = "Alban Grastien and A Anbulagan",

year = "2007",

language = "English",

pages = "380--387",

booktitle = "Troisiemes Journees Francophones de Programmation par Contraintes (JFPC 2007)",

publisher = "INRIA",

edition = "1st - Peer Reviewed",

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

url = "http://hal.inria.fr/inria-00151241/en",

}

TY - GEN

T1 - Resolution d'un probleme de diagnostic de systemes a evenements discrets par SAT

AU - Grastien, Alban

AU - Anbulagan, A

PY - 2007

Y1 - 2007

M3 - Conference Paper

SP - 380

EP - 387

BT - Troisiemes Journees Francophones de Programmation par Contraintes (JFPC 2007)

PB - INRIA

CY - France

T2 - Journees Francophones de Programmation par Contraintes (JFPC 2007)

Y2 - 1 January 2007

ER -