Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "W(C)LP"( http://dblp.L3S.de/Venues/W(C)LP )

URL (DBLP): http://dblp.uni-trier.de/db/conf/wlp

Publication years (Num. hits)
2005 (16)
Publication types (Num. hits)
inproceedings(15) proceedings(1)
Venues (Conferences, Journals, ...)
W(C)LP(16)
Authors
Armin Wolf(2) Dietmar Seipel(2) Evelina Lamma(2) Federico Chesani(2) Henry Müller(2) Marco Alberti 0001(2) Marco Gavanelli(2) Matthias Hoche(2) Thom W. Frühwirth(2) Tom Schrijvers(2) Alessio Guerri(1) Bart Demoen(1) Chuang Liu 0006(1) Dirk Reckmann(1) Georg Ringwelski(1) Ian T. Foster(1) More (+10 of total 31)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 16 publication records. Showing 16 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Marbod Hopfner, Dietmar Seipel, Joachim Baumeister A PROLOG Tool for Slicing Source Code. Search on Bibsonomy W(C)LP The full citation details ... 2005 DBLP  BibTeX  RDF
1Tom Schrijvers, Thom W. Frühwirth Analysing the CHR Implementation of Union-Find. Search on Bibsonomy W(C)LP The full citation details ... 2005 DBLP  BibTeX  RDF
1Henry Müller Static and dynamic variable sorting strategies for backtracking-based search algorithms. Search on Bibsonomy W(C)LP The full citation details ... 2005 DBLP  BibTeX  RDF
1Armin Wolf, Thom W. Frühwirth, Marc Meister (eds.) 19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 21-23, 2005 Search on Bibsonomy W(C)LP The full citation details ... 2005 DBLP  BibTeX  RDF
1Rüdiger Lunde Combining Domain Splitting with Network Decomposition for Application in Model-Based Engineering. Search on Bibsonomy W(C)LP The full citation details ... 2005 DBLP  BibTeX  RDF
1Jon Sneyers, Tom Schrijvers, Bart Demoen Guard Simplification in CHR programs. Search on Bibsonomy W(C)LP The full citation details ... 2005 DBLP  BibTeX  RDF
1Marco 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 W(C)LP The full citation details ... 2005 DBLP  BibTeX  RDF
1Yuliya Lierler Cmodels for Tight Disjunctive Logic Programs. Search on Bibsonomy W(C)LP The full citation details ... 2005 DBLP  BibTeX  RDF
1Armin Wolf, Henry Müller, Matthias Hoche Towards an Object-Oriented Modeling of Constraint Problems. Search on Bibsonomy W(C)LP The full citation details ... 2005 DBLP  BibTeX  RDF
1Marco Alberti 0001, Federico Chesani, Marco Gavanelli, Evelina Lamma The CHR-based Implementation of a System for Generation and Confirmation of Hypotheses. Search on Bibsonomy W(C)LP The full citation details ... 2005 DBLP  BibTeX  RDF
1Dietmar Seipel, Klaus Prätor XML Transformations based on Logic Programming. Search on Bibsonomy W(C)LP The full citation details ... 2005 DBLP  BibTeX  RDF
1Stephan Frank, Petra Hofstedt, Dirk Reckmann Meta-S - Combining Solver Cooperation and Programming Languages. Search on Bibsonomy W(C)LP The full citation details ... 2005 DBLP  BibTeX  RDF
1Georg Ringwelski, Matthias Hoche Impact- and Cost-Oriented Propagator Scheduling for Faster Constraint Propagation. Search on Bibsonomy W(C)LP The full citation details ... 2005 DBLP  BibTeX  RDF
1Pascal Hitzler, Sibylle Schwarz Level Mapping Characterizations of Selector Generated Models for Logic Programs. Search on Bibsonomy W(C)LP The full citation details ... 2005 DBLP  BibTeX  RDF
1Chuang Liu 0006, Ian T. Foster DB CSPA Framework and Algorithms for Applying Constraint Solving within Relational Databases. Search on Bibsonomy W(C)LP The full citation details ... 2005 DBLP  BibTeX  RDF
1Zoran Majkic Truth and knowledge fixpoint semantics for many-valued logic programming. Search on Bibsonomy W(C)LP The full citation details ... 2005 DBLP  BibTeX  RDF
Displaying result #1 - #16 of 16 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license