LEADER 00967cam0-22003611i-450- 001 990006261950403321 005 20100224111510.0 035 $a000626195 035 $aFED01000626195 035 $a(Aleph)000626195FED01 035 $a000626195 100 $a20000112d1964----km-y0itay50------ba 101 0 $aita 102 $aIT 105 $ay-------001yy 200 1 $a<>assicurazione sociale di malattia$fUmberto Chiappelli 205 $a4. ed. interamente riv. ed agg. 210 $aMilano$cGiuffrè$d1964 215 $a559 p.$d24 cm 676 $a344.022 676 $a344 700 1$aChiappelli,$bUmberto$0102607 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990006261950403321 952 $aVII E 133$b73865$fFGBC 952 $aLAV-419$b4783 dip.$fDDRC 952 $aDPR 30-28$b032241$fDEC 959 $aFGBC 959 $aDDRC 959 $aDEC 996 $aAssicurazione Sociale di Malattia$9439118 997 $aUNINA LEADER 00805nam0-22002891i-450- 001 990007491530403321 005 20050509115529.0 035 $a000749153 035 $aFED01000749153 035 $a(Aleph)000749153FED01 035 $a000749153 100 $a20030814d1952----km-y0itay50------ba 101 0 $aita 102 $aIT 200 1 $aNel mondo delle grotte$fdi Gualtiero Laeng 210 $aBrescia$cLa scuola$d[1952] 215 $a64 p.$cill.$d23 cm 225 1 $aScienza e lavoro$equaderni di divulgazione scientifica 610 0 $aSpeleologia 700 1$aLaeng,$bGualtiero$0186029 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990007491530403321 952 $aB-04-076$bIst.5015$fILFGE 959 $aILFGE 996 $aNel mondo delle grotte$9675696 997 $aUNINA LEADER 01582aam 2200397I 450 001 9910709951103321 005 20151030104351.0 024 8 $aGOVPUB-C13-d88fa1e53f7c5719ad4179c2b469ffa2 035 $a(CKB)5470000002474756 035 $a(OCoLC)927168385 035 $a(EXLCZ)995470000002474756 100 $a20151030d1939 ua 0 101 0 $aeng 181 $2rdacontent 182 $2rdamedia 183 $2rdacarrier 200 10$aStructural properties of a brick cavity-wall construction sponsored by the Brick Manufacturers Association of New York, Inc. /$fHerbert L. Whittemore, Ambrose H. Stang, Douglas E. Parsons 210 1$aGaithersburg, MD :$cU.S. Dept. of Commerce, National Institute of Standards and Technology,$d1939. 215 $a1 online resource 225 1 $aBuilding materials and structures report ;$v23 300 $a1939. 300 $aContributed record: Metadata reviewed, not verified. Some fields updated by batch processes. 300 $aTitle from PDF title page. 320 $aIncludes bibliographical references. 700 $aWhittemore$b Herbert L$01390490 701 $aParsons$b Douglas E$01390491 701 $aStang$b Ambrose H$01390492 701 $aWhittemore$b Herbert L$01390490 712 02$aUnited States.$bNational Bureau of Standards. 801 0$bNBS 801 1$bNBS 801 2$bGPO 906 $aBOOK 912 $a9910709951103321 996 $aStructural properties of a brick cavity-wall construction sponsored by the Brick Manufacturers Association of New York, Inc$93493655 997 $aUNINA LEADER 04722nam 2200589 450 001 9910812507903321 005 20230120014752.0 010 $a1-4832-2049-4 035 $a(CKB)3710000000201140 035 $a(EBL)1876827 035 $a(SSID)ssj0001433661 035 $a(PQKBManifestationID)11903282 035 $a(PQKBTitleCode)TC0001433661 035 $a(PQKBWorkID)11416491 035 $a(PQKB)10805385 035 $a(MiAaPQ)EBC1876827 035 $a(EXLCZ)993710000000201140 100 $a20150110h19931993 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aFoundations of constraint satisfaction /$fEdward Tsang 210 1$aLondon, England ;$aSan Diego, California :$cAcademic Press Limited,$d1993. 210 4$d©1993 215 $a1 online resource (440 p.) 225 1 $aComputation in Cognitive Science 300 $aDescription based upon print version of record. 311 $a1-322-46978-4 311 $a0-12-701610-4 320 $aIncludes bibliographical references and index. 327 $aFront Cover; Foundations of Constraint Satisfaction; Copyright Page; Series Preface; Dedication; Preface; Acknowledgements; Table of Contents; Notations and abbreviations; Chapter 1. Introduction; 1.1 What is a constraint satisfaction problem?; 1.2 Formal Definition of the CSP; 1.3 Constraint Representation and Binary CSPs; 1.4 Graph-related Concepts; 1.5 Examples and Applications of CSPs; 1.6 Constraint Programming; 1.7 Structure Of Subsequent Chapters; 1.8 Bibliographical Remarks; Chapter 2. CSP solving - An overview; 2.1 Introduction; 2.2 Problem Reduction 327 $a2.3 Searching For Solution Tuples2.4 Solution Synthesis; 2.5 Characteristics of Individual CSPs; 2.6 Summary; 2.7 Bibliographical Remarks; Chapter 3. Fundamental concepts in the CSP; 3.1 Introduction; 3.2 Concepts Concerning Satisfiability and Consistency; 3.3 Relating Consistency to Satisfiability; 3.4 (i,j)-consistency; 3.5 Redundancy of Constraints; 3.6 More Graph-related Concepts; 3.7 Discussion and Summary; 3.8 Bibliographical Remarks; Chapter 4. Problem reduction; 4.1 Introduction; 4.2 Node and Arc-consistency Achieving Algorithms; 4.3 Path-consistency Achievement Algorithms 327 $a4.4 Post-conditions of PC Algorithms4.5 Algorithm for Achieving k-consistency; 4.6 Adaptive-consistency; 4.7 Parallel/Distributed Consistency Achievement; 4.8 Summary; 4.9 Bibliographical Remarks; Chapter 5. Basic search strategies for solving CSPs; 5.1 Introduction; 5.2 General Search Strategies; 5.3 Lookahead Strategies; 5.4 Gather-information-while-searching Strategies; 5.5 Hybrid Algorithms and Truth Maintenance; 5.6 Comparison of Algorithms; 5.7 Summary; 5.8 Bibliographical Remarks; Chapter 6. Search orders in CSPs; 6.1 Introduction; 6.2 Ordering of Variables in Searching 327 $a6.3 Ordering of Values in Searching6.4 Ordering of Inferences in Searching; 6.5 Summary; 6.6 Bibliographical Remarks; Chapter 7. Exploitation of problem-specific features; 7.1 Introduction; 7.2 Problem Decomposition; 7.3 Recognition and Searching in k-trees; 7.4 Problem Reduction by Removing Redundant Constraints; 7.5 Cycle-cutsets, Stable Sets and Pseudo_Tree_Search; 7.6 The Tree-clustering Method; 7.7 j-width and Backtrack-bounded Search; 7.8 CSPs with Binary Numerical Constraints; 7.9 Summary; 7.10 Bibliographical Remarks; Chapter 8. Stochastic search methods for CSPs; 8.1 Introduction 327 $a8.2 Hill-climbing8.3 Connectionist Approach; 8.4 Summary; 8.5 Bibliographical Remarks; Chapter 9. Solution synthesis; 9.1 Introduction; 9.2 Freuder's Solution Synthesis Algorithm; 9.3 Seidel's Invasion Algorithm; 9.4 The Essex Solution Synthesis Algorithms; 9.5 When to Synthesize Solutions; 9.6 Concluding Remarks; 9.7 Bibliographical Remarks; Chapter 10. Optimization in CSPs; 10.1 Introduction; 10.2 The Constraint Satisfaction Optimization Problem; 10.3 The Partial Constraint Satisfaction Problem; 10.4 Summary; 10.5 Bibliographical Remarks; Programs; Bibliography; Index 330 $aFoundations of Constraint Satisfaction 410 0$aComputation in cognitive science. 606 $aConstraints (Artificial intelligence)$xMathematics 606 $aConstraints (Artificial intelligence)$xData processing 615 0$aConstraints (Artificial intelligence)$xMathematics. 615 0$aConstraints (Artificial intelligence)$xData processing. 676 $a006.33 700 $aTsang$b Edward$0622009 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910812507903321 996 $aFoundations of constraint satisfaction$91107484 997 $aUNINA