RB-SAT: Un nouveau modèle SAT basé sur les codages SAT du modèle RB

Haibo Huang; Chu Min Li; Nouredine Ould Mohamedou; Ke Xu

RB-SAT: Un nouveau modèle SAT basé sur les codages SAT du modèle RB

Translated title of the contribution: RB-SAT: A new SAT model based on SAT encoding of the RB model

Haibo Huang
, Chu Min Li
, Nouredine Ould Mohamedou^*
, Ke Xu

^*Corresponding author for this work

School of Computer Science and Engineering

Research output: Contribution to conference › Paper › peer-review

Translated title of the contribution	RB-SAT: A new SAT model based on SAT encoding of the RB model
Original language	French
Pages	225-236
Number of pages	12
State	Published - 2009
Event	Cinquiemes Journees Francophones de Programmation par Contraintes, JFPC 2009 - 5th French Speaking Conference on Constraint Programming, JFPC 2009 - Orleans, France Duration: 3 Jun 2009 → 5 Jun 2009

Conference

Conference	Cinquiemes Journees Francophones de Programmation par Contraintes, JFPC 2009 - 5th French Speaking Conference on Constraint Programming, JFPC 2009
Country/Territory	France
City	Orleans
Period	3/06/09 → 5/06/09

Cite this

@conference{0b60ec8c1e594afaabfc1c36084a33ba,

title = "RB-SAT: Un nouveau mod{\`e}le SAT bas{\'e} sur les codages SAT du mod{\`e}le RB",

author = "Haibo Huang and Li, \{Chu Min\} and Mohamedou, \{Nouredine Ould\} and Ke Xu",

year = "2009",

language = "法语",

pages = "225--236",

note = "Cinquiemes Journees Francophones de Programmation par Contraintes, JFPC 2009 - 5th French Speaking Conference on Constraint Programming, JFPC 2009 ; Conference date: 03-06-2009 Through 05-06-2009",

}

RB-SAT: Un nouveau modèle SAT basé sur les codages SAT du modèle RB. / Huang, Haibo; Li, Chu Min; Mohamedou, Nouredine Ould et al.
2009. 225-236 Paper presented at Cinquiemes Journees Francophones de Programmation par Contraintes, JFPC 2009 - 5th French Speaking Conference on Constraint Programming, JFPC 2009, Orleans, France.

Research output: Contribution to conference › Paper › peer-review

TY - CONF

T1 - RB-SAT

T2 - Cinquiemes Journees Francophones de Programmation par Contraintes, JFPC 2009 - 5th French Speaking Conference on Constraint Programming, JFPC 2009

AU - Huang, Haibo

AU - Li, Chu Min

AU - Mohamedou, Nouredine Ould

AU - Xu, Ke

PY - 2009

Y1 - 2009

UR - https://www.scopus.com/pages/publications/84875085542

M3 - 论文

AN - SCOPUS:84875085542

SP - 225

EP - 236

Y2 - 3 June 2009 through 5 June 2009

ER -

RB-SAT: Un nouveau modèle SAT basé sur les codages SAT du modèle RB

Conference

Other files and links

Cite this