{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T15:37:28Z","timestamp":1743089848781,"version":"3.40.3"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319042794"},{"type":"electronic","value":"9783319042800"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-04280-0_10","type":"book-chapter","created":{"date-parts":[[2014,1,21]],"date-time":"2014-01-21T10:36:23Z","timestamp":1390300583000},"page":"79-83","source":"Crossref","is-referenced-by-count":1,"title":["Adding Constraints \u2013 A (Seemingly Counterintuitive but) Useful Heuristic in Solving Difficult Problems"],"prefix":"10.1007","author":[{"given":"Olga","family":"Kosheleva","sequence":"first","affiliation":[]},{"given":"Martine","family":"Ceberio","sequence":"additional","affiliation":[]},{"given":"Vladik","family":"Kreinovich","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","volume-title":"Precise Numerical Analysis Using C++","author":"O. Aberth","year":"1998","unstructured":"Aberth, O.: Precise Numerical Analysis Using C++. Academic Press, New York (1998)"},{"key":"10_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-68952-9","volume-title":"Foundations of Constructive Mathematics","author":"M.J. Beeson","year":"1985","unstructured":"Beeson, M.J.: Foundations of Constructive Mathematics. Springer, New York (1985)"},{"key":"10_CR3","volume-title":"Foundations of Constructive Analysis","author":"E. Bishop","year":"1967","unstructured":"Bishop, E.: Foundations of Constructive Analysis. McGraw-Hill, New York (1967)"},{"key":"10_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-61667-9","volume-title":"Constructive Analysis","author":"E. Bishop","year":"1985","unstructured":"Bishop, E., Bridges, D.S.: Constructive Analysis. Springer, New York (1985)"},{"key":"10_CR5","volume-title":"Constructive Functional Analysis","author":"D.S. Bridges","year":"1979","unstructured":"Bridges, D.S.: Constructive Functional Analysis. Pitman, London (1979)"},{"key":"10_CR6","volume-title":"Techniques of Constructive Analysis","author":"D.S. Bridges","year":"2006","unstructured":"Bridges, D.S., Via, S.L.: Techniques of Constructive Analysis. Springer, New York (2006)"},{"key":"10_CR7","volume-title":"The Geometry of Geodesics","author":"H. Busemann","year":"2005","unstructured":"Busemann, H.: The Geometry of Geodesics. Dover Publ., New York (2005)"},{"key":"#cr-split#-10_CR8.1","doi-asserted-by":"crossref","unstructured":"Chandrasekhar, S.: Beauty and the quest for beauty in science. Physics Today\u00a032(7), 25-30 (1979)","DOI":"10.1063\/1.2995616"},{"key":"#cr-split#-10_CR8.2","doi-asserted-by":"crossref","unstructured":"reprinted in 62(12), 57-62 (2010)","DOI":"10.1007\/s00058-010-1266-0"},{"key":"10_CR9","unstructured":"Kohlenbach, U.: Theorie der majorisierbaren und stetigen Funktionale und ihre Anwendung bei der Extraktion von Schranken aus inkonstruktiven Beweisen: Effektive Eindeutigkeitsmodule bei besten Approximationen aus ineffektiven Eindeutigkeitsbeweisen. Ph.D. Dissertation, Frankfurt am Main (1990) (in German)"},{"issue":"1","key":"10_CR10","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0168-0072(93)90213-W","volume":"64","author":"U. Kohlenbach","year":"1993","unstructured":"Kohlenbach, U.: Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vall\u00e9e Poussin\u2019s proof for Chebycheff approximation. Annals for Pure and Applied Logic\u00a064(1), 27\u201394 (1993)","journal-title":"An unwinding of de La Vall\u00e9e Poussin\u2019s proof for Chebycheff approximation. Annals for Pure and Applied Logic"},{"key":"10_CR11","volume-title":"Applied Proof Theory: Proof Interpretations and their Use in Mathematics","author":"U. Kohlenbach","year":"2008","unstructured":"Kohlenbach, U.: Applied Proof Theory: Proof Interpretations and their Use in Mathematics. Springer, Heidelberg (2008)"},{"key":"10_CR12","unstructured":"Kreinovich, V.: Uniqueness implies algorithmic computability. In: Proceedings of the 4th Student Mathematical Conference, pp. 19\u201321. Leningrad University, Leningrad (1975) (in Russian)"},{"key":"#cr-split#-10_CR13.1","unstructured":"Kreinovich, V.: Reviewer's remarks in a review of Bridges, D.S.: Constrictive functional analysis. Pitman, London (1979)"},{"key":"#cr-split#-10_CR13.2","unstructured":"Zentralblatt f\u00fcr Mathematik 401, 22-24 (1979)"},{"key":"10_CR14","unstructured":"Kreinovich, V.: Categories of space-time models. Ph.D. dissertation, Novosibirsk, Soviet Academy of Sciences, Siberian Branch. Institute of Mathematics (1979) (in Russian)"},{"key":"10_CR15","first-page":"8","volume-title":"Abstracts of the Conference on the Methods of Proof Theory in Mathematics","author":"V. Kreinovich","year":"2007","unstructured":"Kreinovich, V.: Physics-motivated ideas for extracting efficient bounds (and algorithms) from classical proofs: beyond local compactness, beyond uniqueness. In: Abstracts of the Conference on the Methods of Proof Theory in Mathematics, June 3-10, p. 8. Max-Planck Institut f\u00fcr Mathematik, Bonn (2007)"},{"key":"10_CR16","first-page":"2343","volume":"47","author":"V. Kreinovich","year":"2009","unstructured":"Kreinovich, V.: Any (true) statement can be generalized so that it becomes trivial: a simple formalization of D. K. Faddeev\u2019s belief. Applied Mathematical Sciences\u00a047, 2343\u20132347 (2009)","journal-title":"Applied Mathematical Sciences"},{"key":"10_CR17","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2793-7","volume-title":"Computational complexity and feasibility of data processing and interval computations","author":"V. Kreinovich","year":"1998","unstructured":"Kreinovich, V., Lakeyev, A., Rohn, J., Kahl, P.: Computational complexity and feasibility of data processing and interval computations. Kluwer, Dordrecht (1998)"},{"key":"10_CR18","unstructured":"Kushner, B.A.: Lectures on Constructive Mathematical Analysis. Amer. Math. Soc. Providence, Rhode Island (1984)"},{"issue":"13","key":"10_CR19","first-page":"1040","volume":"245","author":"D. Lacombe","year":"1957","unstructured":"Lacombe, D.: Les ensembles r\u00e9cursivement ouvert ou ferm\u00e9s, et leurs applications \u00e0 l\u2019analyse r\u00e9curslve. Compt. Rend.\u00a0245(13), 1040\u20131043 (1957)","journal-title":"Compt. Rend."},{"key":"10_CR20","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/BF01117468","volume":"1","author":"V.A. Lifschitz","year":"1973","unstructured":"Lifschitz, V.A.: Investigation of constructive functions by the method of fillings. J. Soviet Math.\u00a01, 41\u201347 (1973)","journal-title":"J. Soviet Math."},{"issue":"5","key":"10_CR21","first-page":"223","volume":"2","author":"L. Longpr\u00e9","year":"2008","unstructured":"Longpr\u00e9, L., Kreinovich, V., Gasarch, W., Walster, G.W.: m Solutions Good, m\u2009\u2212\u20091 Solutions Better. Applied Math. Sciences\u00a02(5), 223\u2013239 (2008)","journal-title":"Applied Math. Sciences"},{"key":"10_CR22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-21717-7","volume-title":"Computability in Analysis and Physics","author":"M. Pour-El","year":"1989","unstructured":"Pour-El, M., Richards, J.: Computability in Analysis and Physics. Springer, New York (1989)"}],"container-title":["Studies in Computational Intelligence","Constraint Programming and Decision Making"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-04280-0_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,7]],"date-time":"2023-02-07T21:39:20Z","timestamp":1675805960000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-04280-0_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319042794","9783319042800"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-04280-0_10","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2014]]}}}