{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,12]],"date-time":"2025-07-12T22:50:52Z","timestamp":1752360652273},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1996,9,1]],"date-time":"1996-09-01T00:00:00Z","timestamp":841536000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[1996,9]]},"DOI":"10.1007\/bf02127968","type":"journal-article","created":{"date-parts":[[2005,9,14]],"date-time":"2005-09-14T17:08:51Z","timestamp":1126717731000},"page":"189-211","source":"Crossref","is-referenced-by-count":3,"title":["Intelligent backtracking in CLP(\u211c)"],"prefix":"10.1007","volume":"17","author":[{"given":"Jennifer J.","family":"Burg","sequence":"first","affiliation":[]},{"given":"Sheau-Dong","family":"Lang","sequence":"additional","affiliation":[]},{"given":"Charles E.","family":"Hughes","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF02127968_CR1","unstructured":"M. Bruynooghe and L. Pereira, Deduction revision by intelligent backtracking, in:Implementations of Prolog, ed. J. Campbell (Ellis Horwood, 1984)."},{"key":"BF02127968_CR2","unstructured":"J. Burg, Parallel execution models and algorithms for constraint logic programming over a real-number domain, Ph.D. Dissertation, University of Central Florida (December, 1992)."},{"key":"BF02127968_CR3","series-title":"Technical Report","volume-title":"Finding conflict sets and backtrack points in CLP(\u211c)","author":"J. Burg","year":"1993","unstructured":"J. Burg, S.-D. Lang and C. Hughes, Finding conflict sets and backtrack points in CLP(\u211c), Technical Report TR-CS-93-01, Wake Forest University, Winston-Salem, NC (November, 1993)."},{"key":"BF02127968_CR4","doi-asserted-by":"crossref","unstructured":"J. Burg, P. Stuckey, J. Tai and R. Yap, Linear equation-solving for constraint logic programming, to appear inProc. of the 12th Int. Conf. on Logic Programming, Tokyo, Japan (1995).","DOI":"10.7551\/mitpress\/4298.003.0014"},{"key":"BF02127968_CR5","unstructured":"C. Codognet, P. Codognet, and G. Fil\u00e9, Yet another intelligent backtracking method,Proc. of the 5th Int. Conf. and Symp. on Logic Programming, Seattle (1988) pp. 447\u2013465."},{"key":"BF02127968_CR6","unstructured":"P. Codognet and T. Sola, Extending the WAM for intelligent backtracking,Proc of the 8th Int. Conf. on Logic Programming, Paris, France (1991) pp. 127\u2013141."},{"key":"BF02127968_CR7","unstructured":"P. Cox, Finding backtrack points for intelligent backtracking, in:Implementations of Prolog, ed. J. Campbell (Ellis Horwood, 1984)."},{"key":"BF02127968_CR8","unstructured":"B. DeBacker and H. Beringer, Intelligent backtracking for CLP languages: An application to CLP(\u211c),Proc. of the Int. Symp. on Logic Programming, San Diego (October, 1991) pp. 405\u2013419."},{"key":"BF02127968_CR9","unstructured":"Heintze et al., The CLP(\u211c) programmer's manual, Version 1.2, IBM Thomas J. Watson Research Center (September, 1992)."},{"key":"BF02127968_CR10","series-title":"Internal Report","volume-title":"Aspects of failure analysis in a CLP(\u211c) system","author":"C. Hogger","year":"1993","unstructured":"C. Hogger and A. Kotzmanidis, Aspects of failure analysis in a CLP(\u211c) system, Internal Report. Imperial College, London (June, 1993)."},{"key":"BF02127968_CR11","doi-asserted-by":"crossref","unstructured":"Jaffar et al., An abstract machine for CLP(\u211c),Proc. of SIGPLAN '92 Conf. on Programming Language Description and Implementation, San Francisco (May, 1992) pp. 128\u2013139.","DOI":"10.1145\/143095.143127"},{"issue":"3","key":"BF02127968_CR12","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1145\/129393.129398","volume":"14","author":"Jaffar","year":"1992","unstructured":"Jaffar et al., The CLP(\u211c) language and system,Transactions on Programming Languages and Systems 14(3) (July, 1992) pp. 339\u2013395.","journal-title":"Transactions on Programming Languages and Systems"},{"key":"BF02127968_CR13","unstructured":"V. Kumar and Y.-J. Lin, An intelligent backtracking scheme for Prolog,Proc. of the Int. Symp. on Logic Programming (September, 1987) pp. 406\u2013414."},{"issue":"2","key":"BF02127968_CR14","first-page":"165","volume":"4","author":"Y.-J. Lin","year":"1988","unstructured":"Y.-J. Lin and V. Kumar, A data-dependency-based intelligent backtracking scheme for Prolog,J. Logic Programming 4(2) (1988) pp. 165\u2013181.","journal-title":"J. Logic Programming"},{"key":"BF02127968_CR15","doi-asserted-by":"crossref","unstructured":"Y.-J. Lin, V. Kumar and C. Leung, An intelligent backtracking algorithm for parallel execution of logic programs,Proc. of the 3rd Int. Conf. on Logic Programming, London (June, 1986) pp. 55\u201367.","DOI":"10.1007\/3-540-16492-8_64"},{"key":"BF02127968_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J. Lloyd","year":"1987","unstructured":"J. Lloyd,Foundations of Logic Programming, 2nd ed. (Springer-Verlag, New York, 1987).","edition":"2nd ed."},{"key":"BF02127968_CR17","unstructured":"D. Luenberger,Linear and Nonlinear Programming, 2nd ed. (Addison-Wesley, Reading, MA)."},{"key":"BF02127968_CR18","series-title":"Lecture Notes in Computer Science","volume-title":"Proc. of the 6th Conf. on Automated Deduction","author":"S. Matwin","year":"1982","unstructured":"S. Matwin and T. Pietrzykowski, Exponential improvement of exhaustive backtracking: data structures and implementation,Proc. of the 6th Conf. on Automated Deduction, Lecture Notes in Computer Science (Springer-Verlag, New York, 1982)."},{"key":"BF02127968_CR19","unstructured":"L. Pereira and A. Porto, Selective backtracking, in:Logic Programming, eds. K.L. Clark and S.-A. Tarnlund (Academic Press, 1982)."},{"key":"BF02127968_CR20","volume-title":"Linear Algebra","author":"G. Williams","year":"1991","unstructured":"G. Williams,Linear Algebra, 2nd ed. (William Brown Publishers, Dubuque, IA, 1991).","edition":"2nd ed."},{"key":"BF02127968_CR21","first-page":"107","volume":"225","author":"D.A. Wolfram","year":"1986","unstructured":"D.A. Wolfram, Intractable unifiability problems and backtracking,Proc. of the 3rd Int. Conf. on Logic Programming, LNCS 225 (Springer-Verlag, 1986) pp. 107\u2013121.","journal-title":"LNCS"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02127968.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02127968\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02127968","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,29]],"date-time":"2024-01-29T20:15:41Z","timestamp":1706559341000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02127968"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,9]]},"references-count":21,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1996,9]]}},"alternative-id":["BF02127968"],"URL":"https:\/\/doi.org\/10.1007\/bf02127968","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,9]]}}}