LEADER 04438nam  22006615  450 
001 996466138103316
005 20200702123953.0
010   $a3-540-49281-X
024 7 $a10.1007/3-540-59479-5
035   $a(CKB)1000000000234281
035   $a(DE-He213)978-3-540-49281-8
035   $a(PPN)155170791
035   $a(EXLCZ)991000000000234281
100   $a20121227d1995      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aConstraint Processing$b[electronic resource] $eSelected Papers /$fedited by Manfred Meyer
205   $a1st ed. 1995.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1995.
215   $a1 online resource (IV, 296 p.) 
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v923
311   $a3-540-59479-5 
327   $aA detailed algorithm testing guards over feature trees -- A generalized semantics for concurrent constraint languages and their abstract interpretation -- High-level constraints over finite domains -- Integrating constraints in an object-based knowledge representation system -- A CLP approach for examination planning -- The many paths to satisfaction -- Directed arc consistency preprocessing -- In search of exceptionally difficult constraint satisfaction problems -- Using bidirectionality to speed up arc-consistency processing -- Using metalevel constraint knowledge to reduce constraint checking -- Forward checking with backmarking -- Redundant hidden variables in finite domain constraint problems -- Semantic properties of CHIP(FD) -- Combining hill climbing and forward checking for handling disjunctive constraints -- GA-easy and GA-hard constraint satisfaction problems.
330   $aThis volume contains 15 thoroughly refereed full research papers selected from the presentations given during two workshops on constraint processing; these workshops were held in conjunction with the International Congress on Computer Systems and Applied Mathematics (St. Petersburg, Russia, July 1993) and the European Conference on Artificial Intelligence (Amsterdam, The Netherlands, August 1994). This volume essentially contributes to integrating the different approaches to the young and very active field of constraint processing by offering papers from logic programming, knowledge representation, expert systems, theoretical computer science, operations research, and other fields. Among contributions are two surveys, by Podelski and van Roy and by Freuder.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v923
606   $aSoftware engineering
606   $aArtificial intelligence
606   $aComputer programming
606   $aProgramming languages (Electronic computers)
606   $aComputer logic
606   $aMathematical logic
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   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
615  0$aSoftware engineering.
615  0$aArtificial intelligence.
615  0$aComputer programming.
615  0$aProgramming languages (Electronic computers).
615  0$aComputer logic.
615  0$aMathematical logic.
615 14$aSoftware Engineering/Programming and Operating Systems.
615 24$aArtificial Intelligence.
615 24$aProgramming Techniques.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aLogics and Meanings of Programs.
615 24$aMathematical Logic and Formal Languages.
676   $a005.1
702   $aMeyer$b Manfred$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996466138103316
996   $aConstraint processing$91491125
997   $aUNISA