%0 Journal Article %1 journals/ai/KochLP03 %A Koch, Christoph %A Leone, Nicola %A Pfeifer, Gerald %D 2003 %J Artif. Intell. %K dblp %N 1-2 %P 177-212 %T Enhancing disjunctive logic programming systems by SAT checkers. %U http://dblp.uni-trier.de/db/journals/ai/ai151.html#KochLP03 %V 151

@article{journals/ai/KochLP03, added-at = {2016-03-03T00:00:00.000+0100}, author = {Koch, Christoph and Leone, Nicola and Pfeifer, Gerald}, biburl = {https://www.bibsonomy.org/bibtex/2d723a6006c8bf01b8818916c0d898e99/dblp}, ee = {http://dx.doi.org/10.1016/S0004-3702(03)00078-X}, interhash = {05261249f8d33d70d04b0c42c8c02207}, intrahash = {d723a6006c8bf01b8818916c0d898e99}, journal = {Artif. Intell.}, keywords = {dblp}, number = {1-2}, pages = {177-212}, timestamp = {2016-03-04T11:43:16.000+0100}, title = {Enhancing disjunctive logic programming systems by SAT checkers.}, url = {http://dblp.uni-trier.de/db/journals/ai/ai151.html#KochLP03}, volume = 151, year = 2003 }