04367nam 22007935 450 99646550650331620200705192142.03-540-36607-510.1007/3-540-36607-5(CKB)1000000000211956(SSID)ssj0000326128(PQKBManifestationID)11232886(PQKBTitleCode)TC0000326128(PQKBWorkID)10266817(PQKB)10772653(DE-He213)978-3-540-36607-2(MiAaPQ)EBC3073265(PPN)155237756(EXLCZ)99100000000021195620121227d2003 u| 0engurnn|008mamaatxtccrRecent Advances in Constraints[electronic resource] Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002. Selected Papers /edited by Barry O'Sullivan1st ed. 2003.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2003.1 online resource (X, 210 p.) Lecture Notes in Artificial Intelligence ;2627Bibliographic Level Mode of Issuance: Monograph3-540-00986-8 Includes bibliographical references at the end of each chapters and index.Abstract 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.Lecture Notes in Artificial Intelligence ;2627Computer industrySoftware engineeringArtificial intelligenceComputer programmingProgramming languages (Electronic computers)AlgorithmsThe Computer Industryhttps://scigraph.springernature.com/ontologies/product-market-codes/I24016Software Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Algorithm Analysis and Problem Complexityhttps://scigraph.springernature.com/ontologies/product-market-codes/I16021Computer industry.Software engineering.Artificial intelligence.Computer programming.Programming languages (Electronic computers).Algorithms.The Computer Industry.Software Engineering/Programming and Operating Systems.Artificial Intelligence.Programming Techniques.Programming Languages, Compilers, Interpreters.Algorithm Analysis and Problem Complexity.005.1/15O'Sullivan Barryedthttp://id.loc.gov/vocabulary/relators/edtJoint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic ProgrammingMiAaPQMiAaPQMiAaPQBOOK996465506503316Recent Advances in Constraints772535UNISA