Reformulation based MaxSAT robustness
Miquel Bofill,Dídac Busquets,Víctor Muñoz,Mateu Villaret
- 期刊名称Constraints
- 作者Miquel Bofill,Dídac Busquets,Víctor Muñoz,Mateu Villaret
- 卷第18卷
- 期第2期
- 印刷ISSN1383-7133
- 电子ISSN1572-9354
- 文件大小511.73KB
- 发表时间2013-04
- DOI10.1007/s10601-012-9130-2
- 页码202-235