{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:34:00Z","timestamp":1752460440831},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540617563"},{"type":"electronic","value":"9783540706540"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61756-6_101","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:20:36Z","timestamp":1330276836000},"page":"423-437","source":"Crossref","is-referenced-by-count":3,"title":["Models for using stochastic constraint solvers in constraint logic programming"],"prefix":"10.1007","author":[{"given":"Peter J.","family":"Stuckey","sequence":"first","affiliation":[]},{"given":"Vincent","family":"Tam","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"29_CR1","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/0377-2217(89)90355-X","volume":"39","author":"E.H.L. Aarts","year":"1989","unstructured":"E.H.L. Aarts and J.H.M. Korst. Boltzmann machines for travelling salesman problems. European Journal of Operational Research, 39:79\u201395, 1989.","journal-title":"European Journal of Operational Research"},{"key":"29_CR2","unstructured":"A. Davenport, E.P.K. Tsang, C.J. Wang, and K. Zhu. GENET: A connectionist architecture for solving constraint satisfaction problems by iterative improvement. In Proceedings of AAAI'94, 325\u2013330, 1994."},{"key":"29_CR3","unstructured":"M. Dincbas, H. Simonis, and P. Van Hentenryck. Solving the car-sequencing problem in constraint logic programming. In Procs. of the European Conf. on Art. Int., 290\u2013295, 1988."},{"key":"29_CR4","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0743-1066(90)90052-7","volume":"8","author":"M. Dincbas","year":"1990","unstructured":"M. Dincbas, H. Simonis, and P. Van Hentenryck. Solving large combinatorial problems in logic programming. Journal of Logic Programming, 8:75\u201393, 1990.","journal-title":"Journal of Logic Programming"},{"key":"29_CR5","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/BF00339943","volume":"52","author":"J.J. Hopfield","year":"1985","unstructured":"J.J. Hopfield and D. Tank. \u201cNeural\u201d computation of decisions in optimization problems. Biological Cybernetics, 52:141\u2013152, 1985.","journal-title":"Biological Cybernetics"},{"key":"29_CR6","unstructured":"A.R-A. Illera and J. Ortiz. Labelling in CLP(FD) with evolutionary programming. In Procs. of GULP-PRODE 95, 569\u2013590, 1995."},{"key":"29_CR7","doi-asserted-by":"crossref","unstructured":"Joxan Jaffar and Michael J. Maher. Constraint logic programming: A survey. Journal of Logic Programming, Volume 19 \/ 20, May 1994.","DOI":"10.1016\/0743-1066(94)90033-7"},{"key":"29_CR8","doi-asserted-by":"crossref","unstructured":"J.H.M. Lee, H.F.Leung and H.W. Won. Extending GENET for Non-Binary CSP's. In Proceedings of the Seventh IEEE International Conference on Tools with Artificial Intelligence, 338\u2013343, November 1995.","DOI":"10.1109\/TAI.1995.479651"},{"issue":"1","key":"29_CR9","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1142\/S0218213095000024","volume":"4","author":"J.H.M. Lee","year":"1995","unstructured":"J.H.M. Lee and V.W.L. Tam. A Framework for Integrating Artificial Neural Networks and Logic Programming International Journal on Artificial Intelligence Tools 4(1&2), 3\u201332, June, 1995.","journal-title":"International Journal on Artificial Intelligence Tools"},{"key":"29_CR10","unstructured":"Ronald E. Prather Discrete Mathematical Structures for Computer Science. Houghton Mifflin,1976."},{"key":"29_CR11","unstructured":"P. Stuckey and V. Tam, Extending GENET with lazy arc consistency. University of Melbourne, Department of Computer Science Tech. Report 96\/8."},{"key":"29_CR12","unstructured":"V.W.L. Tam. Integrating artificial neural networks and constraint logic programming. Master's thesis, Department of Computer Science, The Chinese University of Hong Kong, 1995."},{"key":"29_CR13","doi-asserted-by":"crossref","unstructured":"E.P.K. Tsang and C.J. Wang. A generic neural network approach for constraint satisfaction problems. In G Taylor, editor, Neural Network Applications, 12\u201322. Springer-Verlag, 1992.","DOI":"10.1007\/978-1-4471-2003-2_2"},{"key":"29_CR14","unstructured":"P. Van Hentenryck. Constraint Satisfaction in Logic Programming. The MIT Press, 1989."},{"key":"29_CR15","doi-asserted-by":"crossref","unstructured":"L.C. Wu and C.Y. Tang. Solving the satisfiability problem by using randomized approach. In Information Processing Letters 41, 295\u2013299, North-Holland, 1992.","DOI":"10.1016\/0020-0190(92)90177-W"}],"container-title":["Lecture Notes in Computer Science","Programming Languages: Implementations, Logics, and Programs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61756-6_101.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T15:17:07Z","timestamp":1687274227000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61756-6_101"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617563","9783540706540"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-61756-6_101","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}