000 03550nam a22005415i 4500
001 978-3-540-49281-8
003 DE-He213
005 20160624102041.0
007 cr nn 008mamaa
008 121227s1995 gw | s |||| 0|eng d
020 _a9783540492818
_9978-3-540-49281-8
024 7 _a10.1007/3-540-59479-5
_2doi
050 4 _aQA76.6-76.66
072 7 _aUM
_2bicssc
072 7 _aCOM051000
_2bisacsh
082 0 4 _a005.11
_223
245 1 0 _aConstraint Processing
_h[electronic resource] :
_bSelected Papers /
_cedited by Manfred Meyer.
260 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1995.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1995.
300 _aIV, 296 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v923
505 0 _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.
520 _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.
650 0 _aComputer science.
650 0 _aLogic design.
650 0 _aInformation storage and retrieval systems.
650 0 _aArtificial intelligence.
650 1 4 _aComputer Science.
650 2 4 _aProgramming Techniques.
650 2 4 _aProgramming Languages, Compilers, Interpreters.
650 2 4 _aArtificial Intelligence (incl. Robotics).
650 2 4 _aLogics and Meanings of Programs.
650 2 4 _aMathematical Logic and Formal Languages.
650 2 4 _aInformation Storage and Retrieval.
700 1 _aMeyer, Manfred.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783540594796
786 _dSpringer
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v923
856 4 0 _uhttp://dx.doi.org/10.1007/3-540-59479-5
942 _2EBK6737
_cEBK
999 _c36031
_d36031