%0 Journal Article %1 journals/fuin/AlvianoD19 %A Alviano, Mario %A Dodaro, Carmine %D 2019 %J Fundam. Informaticae %K dblp %N 1-2 %P 31-58 %T Model Enumeration via Assumption Literals. %U http://dblp.uni-trier.de/db/journals/fuin/fuin167.html#AlvianoD19 %V 167

@article{journals/fuin/AlvianoD19, added-at = {2023-08-28T00:00:00.000+0200}, author = {Alviano, Mario and Dodaro, Carmine}, biburl = {https://www.bibsonomy.org/bibtex/250313644ab3ab8bb6c9708a318d17004/dblp}, ee = {https://www.wikidata.org/entity/Q114584471}, interhash = {e5510e15ea76f660b8e46be2ed3a31b9}, intrahash = {50313644ab3ab8bb6c9708a318d17004}, journal = {Fundam. Informaticae}, keywords = {dblp}, number = {1-2}, pages = {31-58}, timestamp = {2024-04-08T10:04:19.000+0200}, title = {Model Enumeration via Assumption Literals.}, url = {http://dblp.uni-trier.de/db/journals/fuin/fuin167.html#AlvianoD19}, volume = 167, year = 2019 }