default search action
19th W(C)LP 2005: Ulm, Germany
- Armin Wolf, Thom W. Frühwirth, Marc Meister:
19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 21-23, 2005. Ulmer Informatik-Berichte 2005-01, Universität Ulm, Germany 2005
Full Papers
- Dietmar Seipel, Klaus Prätor:
XML Transformations based on Logic Programming. W(C)LP 2005: 5-16 - Marbod Hopfner, Dietmar Seipel, Joachim Baumeister:
A PROLOG Tool for Slicing Source Code. W(C)LP 2005: 17-28 - Rüdiger Lunde:
Combining Domain Splitting with Network Decomposition for Application in Model-Based Engineering. W(C)LP 2005: 29-40 - Armin Wolf, Henry Müller, Matthias Hoche:
Towards an Object-Oriented Modeling of Constraint Problems. W(C)LP 2005: 41-52 - 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: 53-64 - Pascal Hitzler, Sibylle Schwarz:
Level Mapping Characterizations of Selector Generated Models for Logic Programs. W(C)LP 2005: 65-75 - Zoran Majkic:
Truth and knowledge fixpoint semantics for many-valued logic programming. W(C)LP 2005: 76-87 - Georg Ringwelski, Matthias Hoche:
Impact- and Cost-Oriented Propagator Scheduling for Faster Constraint Propagation. W(C)LP 2005: 88-98 - Henry Müller:
Static and dynamic variable sorting strategies for backtracking-based search algorithms. W(C)LP 2005: 99-110 - 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: 111-122 - Jon Sneyers, Tom Schrijvers, Bart Demoen:
Guard Simplification in CHR programs. W(C)LP 2005: 123-134 - Tom Schrijvers, Thom W. Frühwirth:
Analysing the CHR Implementation of Union-Find. W(C)LP 2005: 135-146 - Chuang Liu, Ian T. Foster:
DB CSPA Framework and Algorithms for Applying Constraint Solving within Relational Databases. W(C)LP 2005: 147-158
System Descriptions
- Stephan Frank, Petra Hofstedt, Dirk Reckmann:
Meta-S - Combining Solver Cooperation and Programming Languages. W(C)LP 2005: 159-162 - Yuliya Lierler:
Cmodels for Tight Disjunctive Logic Programs. W(C)LP 2005: 163-166
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-28 20:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: