%0 Journal Article %1 journals/igpl/LuanMD06 %A Luan, Shangmin %A Magnani, Lorenzo %A Dai, Guozhong %D 2006 %J Logic Journal of the IGPL %K dblp %N 2 %P 391-406 %T Algorithms for Computing Minimal Conflicts. %U http://dblp.uni-trier.de/db/journals/igpl/igpl14.html#LuanMD06 %V 14

@article{journals/igpl/LuanMD06, added-at = {2007-01-29T00:00:00.000+0100}, author = {Luan, Shangmin and Magnani, Lorenzo and Dai, Guozhong}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/20af260758520ef15afda8617d741fa5b/dblp}, ee = {http://dx.doi.org/10.1093/jigpal/jzk026}, interhash = {7bffeaff7f4898ac439cc49a803a52a4}, intrahash = {0af260758520ef15afda8617d741fa5b}, journal = {Logic Journal of the IGPL}, keywords = {dblp}, number = 2, pages = {391-406}, timestamp = {2016-02-02T08:01:32.000+0100}, title = {Algorithms for Computing Minimal Conflicts.}, url = {http://dblp.uni-trier.de/db/journals/igpl/igpl14.html#LuanMD06}, volume = 14, year = 2006 }