|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 4 keywords
|
|
|
|
|
Results
Found 17 publication records. Showing 17 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Leslie De Koninck, Gregory J. Duck, Peter J. Stuckey |
Demand-Driven Normalisation for ACD Term Rewriting.  |
ICLP  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Brand, Gregory J. Duck, Jakob Puchinger, Peter J. Stuckey |
Flexible, Rule-Based Constraint Model Linearisation. |
PADL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory J. Duck, Leslie De Koninck, Peter J. Stuckey |
Cadmium: An Implementation of ACD Term Rewriting. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Leslie De Koninck, Peter J. Stuckey, Gregory J. Duck |
Optimizing Compilation of CHR with Rule Priorities. |
FLOPS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Sulzmann, Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey |
Understanding functional dependencies via constraint handling rules. |
J. Funct. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory J. Duck, Peter J. Stuckey, Martin Sulzmann |
Observable Confluence for Constraint Handling Rules. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck, Guido Tack |
MiniZinc: Towards a Standard CP Modelling Language. |
CP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Schrijvers, Bart Demoen, Gregory J. Duck, Peter J. Stuckey, Thom W. Frühwirth |
Automatic Implication Checking for CHR Constraints. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory J. Duck, Peter J. Stuckey, Sebastian Brand |
ACD Term Rewriting |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Gregory J. Duck, Peter J. Stuckey, Sebastian Brand |
ACD Term Rewriting. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Holzbaur, Maria J. García de la Banda, Peter J. Stuckey, Gregory J. Duck |
Optimizing compilation of constraint handling rules in HAL. |
TPLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Schrijvers, Peter J. Stuckey, Gregory J. Duck |
Abstract interpretation for constraint handling rules. |
PPDP |
2005 |
DBLP DOI BibTeX RDF |
abstract interpretation, constraint handling rules |
| 1 | Christian Holzbaur, Maria J. García de la Banda, Peter J. Stuckey, Gregory J. Duck |
Optimizing compilation of constraint handling rules in HAL |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur |
The Refined Operational Semantics of Constraint Handling Rules. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory J. Duck, Maria J. García de la Banda, Peter J. Stuckey |
Compiling Ask Constraints. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey, Martin Sulzmann |
Sound and Decidable Type Inference for Functional Dependencies. |
ESOP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur |
Extending arbitrary solvers with constraint handling rules. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
compilation, constraint solvers, constraint handling rules |
Displaying result #1 - #17 of 17 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")