W(C)LP

Keyphrases

Publications

2005

Marbod Hopfner, Dietmar Seipel, Joachim Baumeister
A PROLOG Tool for Slicing Source Code. W(C)LP (2005)
Tom Schrijvers, Thom W. Frühwirth
Analysing the CHR Implementation of Union-Find. W(C)LP (2005)
Henry Müller
Static and dynamic variable sorting strategies for backtracking-based search algorithms. W(C)LP (2005)
19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 21-23, 2005 W(C)LP (2005)
Rüdiger Lunde
Combining Domain Splitting with Network Decomposition for Application in Model-Based Engineering. W(C)LP (2005)
Jon Sneyers, Tom Schrijvers, Bart Demoen
Guard Simplification in CHR programs. W(C)LP (2005)
Marco Alberti, Federico Chesani, Alessio Guerri, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, Paolo Torroni
Expressing Interaction in Combinatorial Auction through Social Integrity Constraints. W(C)LP (2005)
Armin Wolf, Henry Müller, Matthias Hoche
Towards an Object-Oriented Modeling of Constraint Problems. W(C)LP (2005)
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma
The CHR-based Implementation of a System for Generation and Confirmation of Hypotheses. W(C)LP (2005)
Dietmar Seipel, Klaus Prätor
XML Transformations based on Logic Programming. W(C)LP (2005)
Stephan Frank, Petra Hofstedt, Dirk Reckmann
Meta-S - Combining Solver Cooperation and Programming Languages. W(C)LP (2005)
Georg Ringwelski, Matthias Hoche
Impact- and Cost-Oriented Propagator Scheduling for Faster Constraint Propagation. W(C)LP (2005)
Pascal Hitzler, Sibylle Schwarz
Level Mapping Characterizations of Selector Generated Models for Logic Programs. W(C)LP (2005)
Chuang Liu, Ian T. Foster
DB CSPA Framework and Algorithms for Applying Constraint Solving within Relational Databases. W(C)LP (2005)
Zoran Majkic
Truth and knowledge fixpoint semantics for many-valued logic programming. W(C)LP (2005)