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 |