Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Marbod Hopfner, Dietmar Seipel, Joachim Baumeister |
A PROLOG Tool for Slicing Source Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
W(C)LP ![In: 19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 21-23, 2005, pp. 17-28, 2005, Universität Ulm, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Tom Schrijvers, Thom W. Frühwirth |
Analysing the CHR Implementation of Union-Find. ![Search on Bibsonomy](Pics/bibsonomy.png) |
W(C)LP ![In: 19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 21-23, 2005, pp. 135-146, 2005, Universität Ulm, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Henry Müller |
Static and dynamic variable sorting strategies for backtracking-based search algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
W(C)LP ![In: 19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 21-23, 2005, pp. 99-110, 2005, Universität Ulm, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Armin Wolf, Thom W. Frühwirth, Marc Meister (eds.) |
19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 21-23, 2005 ![Search on Bibsonomy](Pics/bibsonomy.png) |
W(C)LP ![Universität Ulm, Germany The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Rüdiger Lunde |
Combining Domain Splitting with Network Decomposition for Application in Model-Based Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
W(C)LP ![In: 19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 21-23, 2005, pp. 29-40, 2005, Universität Ulm, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Jon Sneyers, Tom Schrijvers, Bart Demoen |
Guard Simplification in CHR programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
W(C)LP ![In: 19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 21-23, 2005, pp. 123-134, 2005, Universität Ulm, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Marco Alberti 0001, Federico Chesani, Alessio Guerri, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, Paolo Torroni |
Expressing Interaction in Combinatorial Auction through Social Integrity Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
W(C)LP ![In: 19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 21-23, 2005, pp. 53-64, 2005, Universität Ulm, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Yuliya Lierler |
Cmodels for Tight Disjunctive Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
W(C)LP ![In: 19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 21-23, 2005, pp. 163-166, 2005, Universität Ulm, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Armin Wolf, Henry Müller, Matthias Hoche |
Towards an Object-Oriented Modeling of Constraint Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
W(C)LP ![In: 19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 21-23, 2005, pp. 41-52, 2005, Universität Ulm, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Marco Alberti 0001, Federico Chesani, Marco Gavanelli, Evelina Lamma |
The CHR-based Implementation of a System for Generation and Confirmation of Hypotheses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
W(C)LP ![In: 19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 21-23, 2005, pp. 111-122, 2005, Universität Ulm, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Dietmar Seipel, Klaus Prätor |
XML Transformations based on Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
W(C)LP ![In: 19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 21-23, 2005, pp. 5-16, 2005, Universität Ulm, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Stephan Frank, Petra Hofstedt, Dirk Reckmann |
Meta-S - Combining Solver Cooperation and Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
W(C)LP ![In: 19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 21-23, 2005, pp. 159-162, 2005, Universität Ulm, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Georg Ringwelski, Matthias Hoche |
Impact- and Cost-Oriented Propagator Scheduling for Faster Constraint Propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
W(C)LP ![In: 19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 21-23, 2005, pp. 88-98, 2005, Universität Ulm, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Pascal Hitzler, Sibylle Schwarz |
Level Mapping Characterizations of Selector Generated Models for Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
W(C)LP ![In: 19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 21-23, 2005, pp. 65-75, 2005, Universität Ulm, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Chuang Liu 0006, Ian T. Foster |
DB CSPA Framework and Algorithms for Applying Constraint Solving within Relational Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
W(C)LP ![In: 19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 21-23, 2005, pp. 147-158, 2005, Universität Ulm, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Zoran Majkic |
Truth and knowledge fixpoint semantics for many-valued logic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
W(C)LP ![In: 19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 21-23, 2005, pp. 76-87, 2005, Universität Ulm, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|