@inproceedings{dfad58cfde5645189ddd413555a96748,
title = "Parallelizing partial MUS enumeration",
author = "Wenting Zhao and Liffiton, {Mark H.}",
note = "Publisher Copyright: {\textcopyright} 2016 IEEE.; 28th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2016 ; Conference date: 06-11-2016 Through 08-11-2016",
year = "2017",
month = jan,
day = "11",
doi = "10.1109/ICTAI.2016.74",
language = "English",
series = "Proceedings - 2016 IEEE 28th International Conference on Tools with Artificial Intelligence, ICTAI 2016",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "464--471",
editor = "Anna Esposito and Miltos Alamaniotis and Amol Mali and Nikolaos Bourbakis",
booktitle = "Proceedings - 2016 IEEE 28th International Conference on Tools with Artificial Intelligence, ICTAI 2016",
}