%0 Conference Paper %1 conf/kr/JonssonG96 %A Jónsson, Ari K. %A Ginsberg, Matthew L. %B KR %D 1996 %E Aiello, Luigia Carlucci %E Doyle, Jon %E Shapiro, Stuart C. %I Morgan Kaufmann %K dblp %P 160-171 %T Procedural Reasoning in Constraint Satisfaction. %U http://dblp.uni-trier.de/db/conf/kr/kr96.html#JonssonG96 %@ 1-55860-421-9

@inproceedings{conf/kr/JonssonG96, added-at = {2012-05-18T00:00:00.000+0200}, author = {Jónsson, Ari K. and Ginsberg, Matthew L.}, biburl = {https://www.bibsonomy.org/bibtex/2444bf9d007872ba1cd20241124b61c16/dblp}, booktitle = {KR}, crossref = {conf/kr/1996}, editor = {Aiello, Luigia Carlucci and Doyle, Jon and Shapiro, Stuart C.}, interhash = {e6a09fd3d322d29adc389eadd5c4fb9c}, intrahash = {444bf9d007872ba1cd20241124b61c16}, isbn = {1-55860-421-9}, keywords = {dblp}, pages = {160-171}, publisher = {Morgan Kaufmann}, timestamp = {2012-05-19T11:40:03.000+0200}, title = {Procedural Reasoning in Constraint Satisfaction.}, url = {http://dblp.uni-trier.de/db/conf/kr/kr96.html#JonssonG96}, year = 1996 }