%0 Conference Paper %1 conf/cp/Freuder95 %A Freuder, Eugene C. %B Constraint Processing, Selected Papers %D 1995 %E Meyer, Manfred %I Springer %K dblp %P 103-119 %T The Many Paths to Satisfaction. %U http://dblp.uni-trier.de/db/conf/cp/cp1995s.html#Freuder95 %V 923 %@ 3-540-59479-5

@inproceedings{conf/cp/Freuder95, added-at = {2017-05-22T00:00:00.000+0200}, author = {Freuder, Eugene C.}, biburl = {https://www.bibsonomy.org/bibtex/27e6756b88bc40601a5843ef6684fa49f/dblp}, booktitle = {Constraint Processing, Selected Papers}, crossref = {conf/cp/1995s}, editor = {Meyer, Manfred}, ee = {https://doi.org/10.1007/3-540-59479-5_21}, interhash = {38165483697e58843eb3e410ba5c2c2d}, intrahash = {7e6756b88bc40601a5843ef6684fa49f}, isbn = {3-540-59479-5}, keywords = {dblp}, pages = {103-119}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:20:27.000+0200}, title = {The Many Paths to Satisfaction.}, url = {http://dblp.uni-trier.de/db/conf/cp/cp1995s.html#Freuder95}, volume = 923, year = 1995 }