Tools

LEADER 02605cam 2200349 a 4500

005 20141212121313.0;

008 950515s1995 gw a b 001 0 eng ;

010 a| 95022167;

020 a| 0387594795;

020 a| 3540594795 (softcover : acid-free paper);

035 a| (Sirsi) o32665918;

035 a| (OCoLC)32665918;

049 a| EREE;

050 00 a| QA76.612b| .C68 1995;

082 00 a| 005.1/12| 20;

245 00 a| Constraint processing :b| selected papers /c| Manfred Meyer, ed.;

300 a| 287 pages :b| illustrations ;c| 25 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 923;

500 a| Papers from two workshops held in 1993 and 1994.;

504 a| Includes bibliographical references and index.;

505 0 a| A detailed algorithm testing guards over feature trees / Andreas Podelski, Peter Van Roy -- A generalized semantics for concurrent constraint languages and their abstract interpretation / Christian Codognet, Philippe Codognet -- High-level constraints over finite domains / M. Anton Ertl, Andreas Krall -- Integrating constraints in an object-based knowledge representation system / Jérôme Gensel -- A CLP approach for examination planning / Patrice Boizumault, Yan Delon, Laurent Périday -- The many paths to satisfaction / Eugene C. Freuder -- Directed arc consistency preprocessing / Richard J. Wallace -- In search of exceptionally difficult constraint satisfaction problems / Barbara M. Smith -- Using bidirectionality to speed up arc-consistency processing / Christian Bessière, Jean-Charles Régin -- Using metalevel constraint knowledge to reduce constraint checking / Eugene C. Freuder -- Forward checking with backmarking / Patrick Prosser -- Redundant hidden variables in finite domain constraint problems / Francesca Rossi -- Semantic properties of CHIP(FD) / Gilberto Filé, Giuseppe Nordiello, Adriano Tirabosco -- Combining hill climbing and forward checking / Dan R. Vlasie -- GA-easy and GA-hard constraint satisfaction problems / Ágoston Eiben, Paul-Erik Raué, Zsófia Ruttkay.;

650 0 a| Constraint programming (Computer science)=| ^A374968;

700 1 a| Meyer, Manfred,d| 1963-=| ^A374969;

830 0 a| Lecture notes in computer sciencev| 923.=| ^A466336;

596 a| 1;

998 a| 592109;

999 a| QA76.612 .C68 1995w| LCc| 1i| 30372009391050d| 2/13/2013e| 10/17/2000f| 2/13/2013g| 1l| JGESm| JOYNERn| 1r| Ys| Yt| JGESBKu| 4/15/1996x| BOOKz| JSTACKSo| .STAFF. 0;

Constraint processing : selected papers / Manfred Meyer, ed.

Other author	Meyer, Manfred, 1963-
Format	Book
Publication Info	Berlin ; New York : Springer-Verlag, ©1995.
Description	287 pages : illustrations ; 25 cm.
Subjects	Constraint programming (Computer science)

Series	Lecture notes in computer science ; 923 Lecture notes in computer science 923. ^A466336
Contents	A detailed algorithm testing guards over feature trees / Andreas Podelski, Peter Van Roy -- A generalized semantics for concurrent constraint languages and their abstract interpretation / Christian Codognet, Philippe Codognet -- High-level constraints over finite domains / M. Anton Ertl, Andreas Krall -- Integrating constraints in an object-based knowledge representation system / Jérôme Gensel -- A CLP approach for examination planning / Patrice Boizumault, Yan Delon, Laurent Périday -- The many paths to satisfaction / Eugene C. Freuder -- Directed arc consistency preprocessing / Richard J. Wallace -- In search of exceptionally difficult constraint satisfaction problems / Barbara M. Smith -- Using bidirectionality to speed up arc-consistency processing / Christian Bessière, Jean-Charles Régin -- Using metalevel constraint knowledge to reduce constraint checking / Eugene C. Freuder -- Forward checking with backmarking / Patrick Prosser -- Redundant hidden variables in finite domain constraint problems / Francesca Rossi -- Semantic properties of CHIP(FD) / Gilberto Filé, Giuseppe Nordiello, Adriano Tirabosco -- Combining hill climbing and forward checking / Dan R. Vlasie -- GA-easy and GA-hard constraint satisfaction problems / Ágoston Eiben, Paul-Erik Raué, Zsófia Ruttkay.
General note	Papers from two workshops held in 1993 and 1994.
Bibliography note	Includes bibliographical references and index.
LCCN	95022167
ISBN	0387594795
ISBN	3540594795 (softcover : acid-free paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.612 .C68 1995	✔ Available	Place Hold

Constraint processing : selected papers / Manfred Meyer, ed.

Click here for more information about this title

Availability