Extending the $\mathcal{TOY}$ System with the ECL i PS e Solver over Sets of Integers (Q2900259)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Extending the $\mathcal{TOY}$ System with the ECL i PS e Solver over Sets of Integers |
scientific article |
Statements
Extending the $\mathcal{TOY}$ System with the ECL i PS e Solver over Sets of Integers (English)
0 references
20 July 2012
0 references
constraint functional logic programming
0 references
constrained lazy narrowing
0 references
implementation
0 references
domain cooperation
0 references