Model Enumeration via Assumption Literals
Alviano, Mario; Dodaro, Carmine; Maratea, Marco; Serina, Ivan; Torroni, Paolo
- 期刊名称Fundamenta Informaticae
- 作者Alviano, Mario; Dodaro, Carmine; Maratea, Marco; Serina, Ivan; Torroni, Paolo
- 卷第167卷
- 印刷ISSN0169-2968
- 电子ISSN1875-8681
- 文件大小394.58KB
- 发表时间2019-06-01
- DOI10.3233/FI-2019-1809
- 页码31-58