%0 Journal Article %1 journals/ai/AngiulliBFP14 %A Angiulli, Fabrizio %A Ben-Eliyahu-Zohary, Rachel %A Fassetti, Fabio %A Palopoli, Luigi %D 2014 %J Artif. Intell. %K dblp %P 56-77 %T On the tractability of minimal model computation for some CNF theories. %U http://dblp.uni-trier.de/db/journals/ai/ai210.html#AngiulliBFP14 %V 210

@article{journals/ai/AngiulliBFP14, added-at = {2022-07-18T00:00:00.000+0200}, author = {Angiulli, Fabrizio and Ben-Eliyahu-Zohary, Rachel and Fassetti, Fabio and Palopoli, Luigi}, biburl = {https://www.bibsonomy.org/bibtex/203ba4affd6374d983471e01c508625a8/dblp}, ee = {https://doi.org/10.1016/j.artint.2014.02.003}, interhash = {e31d75517b444017bb4309b70afd450e}, intrahash = {03ba4affd6374d983471e01c508625a8}, journal = {Artif. Intell.}, keywords = {dblp}, pages = {56-77}, timestamp = {2024-04-08T17:21:00.000+0200}, title = {On the tractability of minimal model computation for some CNF theories.}, url = {http://dblp.uni-trier.de/db/journals/ai/ai210.html#AngiulliBFP14}, volume = 210, year = 2014 }