%0 Conference Paper %1 conf/ijcai/BessiereFR95 %A Bessière, Christian %A Freuder, Eugene C. %A Régin, Jean-Charles %B IJCAI (1) %D 1995 %I Morgan Kaufmann %K dblp %P 592-599 %T Using Inference to Reduce Arc Consistency Computation. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai95.html#BessiereFR95

@inproceedings{conf/ijcai/BessiereFR95, added-at = {2019-08-20T00:00:00.000+0200}, author = {Bessière, Christian and Freuder, Eugene C. and Régin, Jean-Charles}, biburl = {https://www.bibsonomy.org/bibtex/2fc7459d18db24c745f10d8a581ba8d26/dblp}, booktitle = {IJCAI (1)}, crossref = {conf/ijcai/1995}, ee = {http://ijcai.org/Proceedings/95-1/Papers/078.pdf}, interhash = {0177c1a9d999d75da286629a652ec378}, intrahash = {fc7459d18db24c745f10d8a581ba8d26}, keywords = {dblp}, pages = {592-599}, publisher = {Morgan Kaufmann}, timestamp = {2019-08-21T11:48:23.000+0200}, title = {Using Inference to Reduce Arc Consistency Computation.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai95.html#BessiereFR95}, year = 1995 }