|
|
|
|
| LEADER |
00000cam a2200000 a 4500 |
| 001 |
ocn622396035 |
| 003 |
OCoLC |
| 005 |
20241006213017.0 |
| 006 |
m o d |
| 007 |
cr bn||||||abp |
| 007 |
cr bn||||||ada |
| 008 |
100519s1993 enka ob 001 0 eng d |
| 040 |
|
|
|a OCLCE
|b eng
|e pn
|c OCLCE
|d OCLCQ
|d OCLCO
|d OCLCQ
|d OCLCF
|d OPELS
|d EBLCP
|d N$T
|d YDXCP
|d DEBSZ
|d OCLCQ
|d MERUC
|d OCLCQ
|d OCLCO
|d YDX
|d OCLCO
|d OCLCQ
|d STF
|d UKAHL
|d OCLCQ
|d VLY
|d OCLCO
|d LUN
|d OCLCQ
|d INARC
|d OCLCO
|d K6U
|d OCLCQ
|d OCLCO
|d OCLCL
|d SXB
|d OCLCQ
|
| 015 |
|
|
|a GB9366472
|2 bnb
|
| 019 |
|
|
|a 658388408
|a 897646087
|a 974617416
|a 974669912
|a 1100857978
|a 1162094232
|a 1285558985
|
| 020 |
|
|
|a 9780127016108
|q (electronic bk.)
|
| 020 |
|
|
|a 0127016104
|q (electronic bk.)
|
| 020 |
|
|
|a 9781483220499
|
| 020 |
|
|
|a 1483220494
|
| 035 |
|
|
|a (OCoLC)622396035
|z (OCoLC)658388408
|z (OCoLC)897646087
|z (OCoLC)974617416
|z (OCoLC)974669912
|z (OCoLC)1100857978
|z (OCoLC)1162094232
|z (OCoLC)1285558985
|
| 042 |
|
|
|a dlr
|
| 050 |
|
4 |
|a Q335
|b .T73 1993
|
| 055 |
|
3 |
|a Q 335
|b T73
|
| 049 |
|
|
|a HCDD
|
| 100 |
1 |
|
|a Tsang, Edward.
|
| 245 |
1 |
0 |
|a Foundations of constraint satisfaction /
|c Edward Tsang.
|
| 260 |
|
|
|a London ;
|a San Diego :
|b Academic Press,
|c ©1993.
|
| 300 |
|
|
|a 1 online resource (xviii, 421 pages) :
|b illustrations
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 490 |
1 |
|
|a Computation in Cognitive Science
|
| 504 |
|
|
|a Includes bibliographical references (pages 383-403) and index.
|
| 506 |
|
|
|3 Use copy
|f Restrictions unspecified
|2 star
|5 MiAaHDL
|
| 533 |
|
|
|a Electronic reproduction.
|b [Place of publication not identified] :
|c HathiTrust Digital Library,
|d 2010.
|5 MiAaHDL
|
| 538 |
|
|
|a Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
|u http://purl.oclc.org/DLF/benchrepro0212
|5 MiAaHDL
|
| 583 |
1 |
|
|a digitized
|c 2010
|h HathiTrust Digital Library
|l committed to preserve
|2 pda
|5 MiAaHDL
|
| 588 |
0 |
|
|a Print version record.
|
| 505 |
0 |
|
|a Front 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
|
| 505 |
8 |
|
|a 2.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
|
| 505 |
8 |
|
|a 4.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
|
| 505 |
8 |
|
|a 6.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
|
| 505 |
8 |
|
|a 8.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
|
| 520 |
|
|
|a Foundations of Constraint Satisfaction.
|
| 546 |
|
|
|a English.
|
| 650 |
|
0 |
|a Constraints (Artificial intelligence)
|
| 650 |
|
7 |
|a Intelligence artificielle.
|2 eclas
|
| 650 |
|
7 |
|a Constraints (Artificial intelligence)
|2 fast
|
| 650 |
|
7 |
|a Constraint
|g Künstliche Intelligenz
|2 gnd
|
| 650 |
1 |
7 |
|a Zoekstrategieën.
|2 gtt
|
| 650 |
1 |
7 |
|a Beperkingen.
|2 gtt
|
| 650 |
|
7 |
|a Résolution de problème
|x Informatique.
|2 ram
|
| 650 |
|
7 |
|a Contraintes (intelligence artificielle)
|2 ram
|
| 776 |
0 |
8 |
|i Print version:
|a Tsang, Edward.
|t Foundations of constraint satisfaction.
|d London ; San Diego : Academic Press, ©1993
|w (OCoLC)28932191
|
| 830 |
|
0 |
|a Computation in cognitive science.
|
| 856 |
4 |
0 |
|u https://ebookcentral.proquest.com/lib/holycrosscollege-ebooks/detail.action?docID=1876827
|y Click for online access
|
| 903 |
|
|
|a EBC-AC
|
| 994 |
|
|
|a 92
|b HCD
|