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 / Jérôme Gensel -- A CLP approach for examination planning / Patrice Boizumault, Yan Delon, Laurent Pé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 Bessière, Jean-Charles Ré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 Filé, Giuseppe Nordiello, Adriano Tirabosco -- Combining hill climbing and forward checking / Dan R. Vlasie -- GA-easy and GA-hard constraint satisfaction problems / Ágoston Eiben, Paul-Erik Raué, Zsófia Ruttkay. |