%0 Journal Article %1 journals/jlp/DincbasSH90 %A Dincbas, Mehmet %A Simonis, Helmut %A Hentenryck, Pascal Van %D 1990 %J J. Log. Program. %K dblp %N 1 %P 75-93 %T Solving Large Combinatorial Problems in Logic Programming. %U http://dblp.uni-trier.de/db/journals/jlp/jlp8.html#DincbasSH90 %V 8

@article{journals/jlp/DincbasSH90, added-at = {2021-02-17T00:00:00.000+0100}, author = {Dincbas, Mehmet and Simonis, Helmut and Hentenryck, Pascal Van}, biburl = {https://www.bibsonomy.org/bibtex/25fbf7467d0078d7194a055554420f728/dblp}, ee = {https://www.wikidata.org/entity/Q56031618}, interhash = {8a3e181bf8359f80e786e5d7ecdf4ed2}, intrahash = {5fbf7467d0078d7194a055554420f728}, journal = {J. Log. Program.}, keywords = {dblp}, number = 1, pages = {75-93}, timestamp = {2024-04-08T10:51:01.000+0200}, title = {Solving Large Combinatorial Problems in Logic Programming.}, url = {http://dblp.uni-trier.de/db/journals/jlp/jlp8.html#DincbasSH90}, volume = 8, year = 1990 }