{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T09:07:41Z","timestamp":1648544861904},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1995,6,1]],"date-time":"1995-06-01T00:00:00Z","timestamp":801964800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Neural Comput & Applic"],"published-print":{"date-parts":[[1995,6]]},"DOI":"10.1007\/bf01421960","type":"journal-article","created":{"date-parts":[[2005,4,11]],"date-time":"2005-04-11T20:19:56Z","timestamp":1113250796000},"page":"78-100","source":"Crossref","is-referenced-by-count":2,"title":["Neural networks for finite constraint satisfaction"],"prefix":"10.1007","volume":"3","author":[{"given":"Angelo","family":"Monfroglio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","volume-title":"Artificial Intelligence","author":"E Rich","year":"1983","unstructured":"Rich E. Artificial Intelligence. McGraw-Hill, New York, NY, 1983"},{"key":"CR2","volume-title":"Artificial Intelligence","author":"L Daniel","year":"1983","unstructured":"Daniel L. Planning and operation research.Artificial Intelligence. Eisenstadt, Harper & Row, 1983"},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"Grant T. Lessons for O.R. from A.I.: A scheduling case study.J Operat Res Soc 1986; 37 (1)","DOI":"10.1057\/jors.1986.7"},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"Phelps RI. Artificial intelligence ?an overview of similarities with O.R.J Operat Res Soc 1986; 37 (1)","DOI":"10.2307\/2582542"},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"Sussman, GJ, Steele Jr, GL. Constraints: A language for expressing a most-hierarchical descriptions. Artif Intell 1980; 14","DOI":"10.1016\/0004-3702(80)90032-6"},{"key":"CR6","doi-asserted-by":"crossref","unstructured":"Mackworth AK, Freuder, EC, Eds. Special volume: constraint-based reasoning. Artif Intell 1992;58","DOI":"10.1016\/0004-3702(92)90002-F"},{"key":"CR7","volume-title":"Discrete Optimization","author":"RG Parker","year":"1988","unstructured":"Parker RG, Rardin RL.Discrete Optimization. Academic Press, San Diego, CA, 1988"},{"key":"CR8","volume-title":"Computer and Intractability","author":"MR Garegy","year":"1979","unstructured":"Garegy MR, Johnson DS.Computer and Intractability. Freeman, San Francisco, CA, 1979"},{"key":"CR9","unstructured":"Fox M. Why is scheduling difficult? A CSP perspective.ECAI' 90 Proc 1990; Stockholm, Sweden"},{"key":"CR10","unstructured":"Monfroglio A. General heuristics for logic constraint satisfaction.Proc 1st AIIA Conf 1989; Trento, Italy"},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"Gallo G, Urbani G. Algorithms for testing the satisfiability of propositional formulae.J Logic Program 1989","DOI":"10.1016\/0743-1066(89)90009-5"},{"key":"CR12","doi-asserted-by":"crossref","unstructured":"Freuder EC. A sufficient condition of backtrack-free search.J ACM 1982; 29 (1)","DOI":"10.1145\/322290.322292"},{"key":"CR13","unstructured":"Mitchell D, Selman, B, Levesque, H. Hard and easy distributions for SAT problems.Proc Tenth Nat Conf Artif Intell (AAAI-92) 1992; 459?465"},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"Monfroglio A. Connectionist networks for constraint satisfaction. Neurocomputing, 1991; 3(1)","DOI":"10.1016\/0925-2312(91)90018-7"},{"key":"CR15","doi-asserted-by":"crossref","unstructured":"Franco J, Pauli M. Probabilistic analysis of the Davis Putman procedure for solving the satisfiability problem. Discrete Appl Math 1983; 5","DOI":"10.1016\/0166-218X(83)90017-3"},{"key":"CR16","volume-title":"Adaptive Pattern Recognition and Neural Networks","author":"YH Pao","year":"1989","unstructured":"Pao YH. Adaptive Pattern Recognition and Neural Networks. Addison-Wesley, Reading MA, 1989"},{"key":"CR17","unstructured":"Samad T. Back-propagation extensions.Honeywell SSDC Tech. Rep., MN, 1989"},{"key":"CR18","first-page":"358","volume":"II","author":"G Wilensky","year":"1992","unstructured":"Wilensky G, Manukian N. The projection neural network. Proc Int Joint Conf Neural Networks 1992; Baltimore, MD, Vol. II, pp. 358?367","journal-title":"Proc Int Joint Conf Neural Networks"},{"issue":"4","key":"CR19","doi-asserted-by":"crossref","first-page":"624","DOI":"10.1109\/72.143377","volume":"3","author":"JA Leonard","year":"1992","unstructured":"Leonard JA, Kramer MA, Ungar LH. Using radial basis functions to approximate a function and its error bounds. IEEE Trans Neural Net 1992; 3 (4): 624?627","journal-title":"IEEE Trans Neural Net"},{"key":"CR20","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1162\/neco.1989.1.2.281","volume":"1","author":"J Moody","year":"1989","unstructured":"Moody J, Darken CJ. Fast learning in networks of locally tuned processing units.Neural Computation 1989; 1: 281?294","journal-title":"Neural Computation"},{"key":"CR21","volume-title":"School of Computer Science Report CMU-CS-90-100","author":"SE Fahlman","year":"1990","unstructured":"Fahlman SE, Lebiere C. The Cascade correlation learning architecture. School of Computer Science Report CMU-CS-90-100. Pittsburgh PA, Carnegie Mellon Univ., 1990"},{"key":"CR22","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-00784-6","volume-title":"Self-Organization and Associative Memory","author":"T Kohonen","year":"1988","unstructured":"Kohonen T. Self-Organization and Associative Memory. Springer-Verlag, New York, 1988"},{"key":"CR23","doi-asserted-by":"crossref","unstructured":"Willshaw DJ, Von der Malsburg C. How patterned neural connections can be set up by self-organization. Proc R Soc London 1976; 194","DOI":"10.1098\/rspb.1976.0087"},{"key":"CR24","doi-asserted-by":"crossref","unstructured":"DeSieno D. Adding a conscience to competitive learning. Proc 2nd Ann IEEE Int Conf Neural Networks 1988; Vol I","DOI":"10.1109\/ICNN.1988.23839"},{"key":"CR25","volume-title":"Practical Approach to Pattern Recognition","author":"BG Batchelor","year":"1974","unstructured":"Batchelor BG, Practical Approach to Pattern Recognition. Plenum Press, New York, NY, 1974"},{"key":"CR26","doi-asserted-by":"crossref","unstructured":"Specht DF. Probabilistic neural networks. Neural Networks (1990)","DOI":"10.1016\/0893-6080(90)90049-Q"},{"key":"CR27","volume-title":"Neural Computing (manual for NeuralWorks","author":"CC Klimasauskas","year":"1991","unstructured":"Klimasauskas CC. Neural Computing (manual for NeuralWorks, NeuralWare, Inc., Pittsburgh, PA, 1991. (1993 (version 5))"},{"key":"CR28","first-page":"189","volume-title":"Propositional calculus problems in CHIP. Lecture Notes in Computer Science","author":"H Simonis","year":"1990","unstructured":"Simonis H, Dincbas M. Propositional calculus problems in CHIP. Lecture Notes in Computer Science, Algebraic and Logic Programming, 2nd Int. Conf., Nancy, France, 1990, H. Kirchner and W. Wechler, Eds, Springer-Verlag, 1990, pp. 189?203"},{"key":"CR29","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/BF01585727","volume":"46","author":"Y Yinyu","year":"1990","unstructured":"Yinyu, Y. A ?build-down? scheme for linear programming.Math Program 1990; 46: 61?72","journal-title":"Math Program"},{"key":"CR30","doi-asserted-by":"crossref","unstructured":"Monfroglio A. Neural networks for constraint satisfaction. Lecture Notes in Artificial Intelligence, Vol. 728, Pietro Torasso editor, Advances in Artificial Intelligence, third Congress of APIA, Torino, Italy 1993; pp. 102?107","DOI":"10.1007\/3-540-57292-9_48"},{"key":"CR31","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/0304-3975(92)90389-W","volume":"97","author":"A Monfroglio","year":"1992","unstructured":"Monfroglio A. Integer programs for logic constraint satisfaction.Theor Comput Sci 1992; 97: 105?130","journal-title":"Theor Comput Sci"},{"issue":"1","key":"CR32","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1006\/jpdc.1994.1009","volume":"20","author":"A Monfroglio","year":"1994","unstructured":"Monfroglio A. Neural logic constraint solving.J Parallel Distributed Comput 1994; 20 (1): 92?98","journal-title":"J Parallel Distributed Comput"}],"container-title":["Neural Computing & Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01421960.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01421960\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01421960","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,6]],"date-time":"2020-04-06T19:12:17Z","timestamp":1586200337000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01421960"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,6]]},"references-count":32,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1995,6]]}},"alternative-id":["BF01421960"],"URL":"https:\/\/doi.org\/10.1007\/bf01421960","relation":{},"ISSN":["0941-0643","1433-3058"],"issn-type":[{"value":"0941-0643","type":"print"},{"value":"1433-3058","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,6]]}}}