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

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

^*此作品的通讯作者

计算机学院

Beihang University
Université de Picardie Jules Verne

科研成果: 会议稿件 › 论文 › 同行评审

投稿的翻译标题	RB-SAT: A new SAT model based on SAT encoding of the RB model
源语言	法语
页	225-236
页数	12
出版状态	已出版 - 2009
活动	Cinquiemes Journees Francophones de Programmation par Contraintes, JFPC 2009 - 5th French Speaking Conference on Constraint Programming, JFPC 2009 - Orleans, 法国期限: 3 6月 2009 → 5 6月 2009

会议

会议	Cinquiemes Journees Francophones de Programmation par Contraintes, JFPC 2009 - 5th French Speaking Conference on Constraint Programming, JFPC 2009
国家/地区	法国
市	Orleans
时期	3/06/09 → 5/06/09

其它文件与链接

链接到 Scopus 的出版物

引用此

@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 等.
2009. 225-236 论文发表于 Cinquiemes Journees Francophones de Programmation par Contraintes, JFPC 2009 - 5th French Speaking Conference on Constraint Programming, JFPC 2009, Orleans, 法国.

科研成果: 会议稿件 › 论文 › 同行评审

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 -