%0 Journal Article %1 journals/constraints/FrancisS14 %A Francis, Kathryn Glenn %A Stuckey, Peter J. %D 2014 %J Constraints An Int. J. %K dblp %N 1 %P 1-29 %T Explaining circuit propagation. %U http://dblp.uni-trier.de/db/journals/constraints/constraints19.html#FrancisS14 %V 19

@article{journals/constraints/FrancisS14, added-at = {2020-03-13T00:00:00.000+0100}, author = {Francis, Kathryn Glenn and Stuckey, Peter J.}, biburl = {https://www.bibsonomy.org/bibtex/2d315182c92dbb58f02521c2fa80ec0ff/dblp}, ee = {https://doi.org/10.1007/s10601-013-9148-0}, interhash = {26182b0aa0d3372b9ade9bf0d06ce3ab}, intrahash = {d315182c92dbb58f02521c2fa80ec0ff}, journal = {Constraints An Int. J.}, keywords = {dblp}, number = 1, pages = {1-29}, timestamp = {2020-03-14T12:04:33.000+0100}, title = {Explaining circuit propagation.}, url = {http://dblp.uni-trier.de/db/journals/constraints/constraints19.html#FrancisS14}, volume = 19, year = 2014 }