Mario Alviano, Carmine Dodaro. Model Enumeration via Assumption Literals. Fundamenta Informaticae, 167(1-2):31-58, 2019. [doi]
@article{AlvianoD19, title = {Model Enumeration via Assumption Literals}, author = {Mario Alviano and Carmine Dodaro}, year = {2019}, doi = {10.3233/FI-2019-1809}, url = {https://doi.org/10.3233/FI-2019-1809}, researchr = {https://researchr.org/publication/AlvianoD19}, cites = {0}, citedby = {0}, journal = {Fundamenta Informaticae}, volume = {167}, number = {1-2}, pages = {31-58}, }