LEADER 05068nam  22008295  450 
001 9910143887203321
005 20251116234253.0
010   $a3-540-36607-5
024 7 $a10.1007/3-540-36607-5
035   $a(CKB)1000000000211956
035   $a(SSID)ssj0000326128
035   $a(PQKBManifestationID)11232886
035   $a(PQKBTitleCode)TC0000326128
035   $a(PQKBWorkID)10266817
035   $a(PQKB)10772653
035   $a(DE-He213)978-3-540-36607-2
035   $a(MiAaPQ)EBC3073265
035   $a(PPN)155237756
035   $a(BIP)13523318
035   $a(BIP)8522397
035   $a(EXLCZ)991000000000211956
100   $a20121227d2003      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aRecent Advances in Constraints $eJoint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002. Selected Papers /$fedited by Barry O'Sullivan
205   $a1st ed. 2003.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2003.
215   $a1 online resource (X, 210 p.) 
225 1 $aLecture Notes in Artificial Intelligence ;$v2627
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a3-540-00986-8 
320   $aIncludes bibliographical references at the end of each chapters and index.
327   $aAbstract Verification and Debugging of Constraint Logic Programs -- CGRASS: A System for Transforming Constraint Satisfaction Problems -- Interchangeability in Soft CSPs -- Towards Automated Reasoning on the Properties of Numerical Constraints -- Domain-Heuristics for Arc-Consistency Algorithms -- Computing Explanations and Implications in Preference-Based Configurators -- Constraint Processing Offers Improved Expressiveness and Inference for Interactive Expert Systems -- A Note on Redundant Rules in Rule-Based Constraint Programming -- A Study of Encodings of Constraint Satisfaction Problems with 0/1 Variables -- A Local Search Algorithm for Balanced Incomplete Block Designs -- The Effect of Nogood Recording in DPLL-CBJ SAT Algorithms -- POOC ? A Platform for Object-Oriented Constraint Programming -- A Coordination-Based Framework for Distributed Constraint Solving -- Visopt ShopFloor: Going Beyond Traditional Scheduling.
330   $aThis book constitutes the thoroughly refereed post-proceedings of the Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, held in Cork, Ireland in June 2002.The 14 revised full papers presented were carefully selected for inclusion in the book during two rounds of reviewing and revision. Among the topics addressed are verification and debugging of constraint logic programs, modeling and solving CSPs, explanation generation, inference and inconsistency processing, SAT and 0/1 encodings of CSPs, soft constraints and constraint relaxation, real-world applications, and distributed constraint solving.
410  0$aLecture Notes in Artificial Intelligence ;$v2627
606   $aComputer industry
606   $aSoftware engineering
606   $aArtificial intelligence
606   $aComputer programming
606   $aProgramming languages (Electronic computers)
606   $aAlgorithms
606   $aThe Computer Industry$3https://scigraph.springernature.com/ontologies/product-market-codes/I24016
606   $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021
615  0$aComputer industry.
615  0$aSoftware engineering.
615  0$aArtificial intelligence.
615  0$aComputer programming.
615  0$aProgramming languages (Electronic computers)
615  0$aAlgorithms.
615 14$aThe Computer Industry.
615 24$aSoftware Engineering/Programming and Operating Systems.
615 24$aArtificial Intelligence.
615 24$aProgramming Techniques.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aAlgorithm Analysis and Problem Complexity.
676   $a005.1/15
702   $aO'Sullivan$b Barry$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aJoint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910143887203321
996   $aRecent Advances in Constraints$9772535
997   $aUNINA