MARC record from Internet Archive

LEADER: 02663cam 2200349 a 4500
001 9922646890001661
005 20150423144712.0
008 960619s1996 gw a b 101 0 eng
010 $a 96028300
020 $a3540614796 (acid-free paper)
035 $a(CSdNU)u59874-01national_inst
035 $a(OCoLC)34984322
035 $a(Sirsi) 01-AAG-4015
040 $aDLC$cDLC$dOCL
049 $aCNUM
050 00 $aQA76.63$b.O83 1996
245 00 $aOver-constrained systems /$cMichael Jampel, Eugene Freuder, Michael Maher (eds.).
260 $aBerlin ;$aNew York :$bSpringer,$cc1996.
300 $ax, 309 p. :$bill. ;$c24 cm.
440 0 $aLecture notes in computer science ;$v1106
500 $aPapers from a workshop held Sept. 1995 as part of the First International Conference on Principles and Practice of Constraint Programming, at Cassis, France.
504 $aIncludes bibliographical references and index.
505 0 $a A brief overview of over-constrained systems / Michael Jampel -- Constraint hierarchies / Alan Borning ... [et al.] -- Partial constraint satisfaction / Eugene Freuder -- Semiring-based CSPs and valued CSPs: basic properties and comparison / Stefano Bistarelli ... [et al.] -- Defeasible constraint solving / Francisco Menezes -- Transforming ordered constraint hierarchies into ordinary constraint systems / Armin Wolf -- A compositional theory of constraint hierarchies / Michael Jampel -- Heuristic methods for over-constrained constraint satisfaction problems / Richard Wallace -- Cascaded directed arc consistency and no-good learning for the maximal constraint satisfaction problem / Richard Wallace -- Partial arc consistency / Nick Dendris ... [et al.] -- Dynamic constraint satisfaction with conflict management in design / Esther Gelle -- Specifying over-constrained problems in default logic / Abdul Sattar ... [et al.] -- Implementing constraint relaxation over finite domains using assumption-based truth maintenance systems / Narendra Jussien -- Experiences in solving constraint relaxation networks with Boltzmann machines / Rolf Weibschnur ... [et al.] -- Solving over-constrained CSPs using weighted OBDDs / Fabrice Bouquet.
650 0 $aLogic programming$xCongresses.
650 0 $aConstraints (Artificial intelligence)$xCongresses.
650 0 $aSystem analysis$xCongresses.
700 1 $aJampel, Michael.
700 1 $aFreuder, Eugene C.
700 1 $aMaher, Michael,$d1959-
711 2 $aCP '95$d(1995 :$cCassis, France)
948 $a10/13/1999$b10/13/1999
999 $aQA 76.63 O83 1996$wLC$c1$i31786100915617$d6/16/2004$f6/16/2004$g1 $lCIRCSTACKS$mNULS$rY$sY$tBOOK$u9/15/1997$o.STAFF. Pieces: 00001