A proposal for the cooperation of solvers in constraint functional logic programming
From MaRDI portal
Recommendations
- A fully sound goal solving calculus for the cooperation of solvers in the CFLP scheme
- scientific article; zbMATH DE number 2080334
- On the cooperation of the constraint domains ℋ, ℛ, and ℱ in CFLP
- scientific article; zbMATH DE number 1822298
- Cooperation of algebraic constraint domains in higher-order functional and logic programming
Cites work
- Constraint functional logic programming over finite domains
- Constraint functional logic programming revisited
- Frontiers of Combining Systems
- scientific article; zbMATH DE number 1822298 (Why is no real title available?)
- scientific article; zbMATH DE number 1420823 (Why is no real title available?)
- Integration of declarative and constraint programming
- SICStus Prolog -- the first 25 years
- Symbolic-interval cooperation in constraint programming
Cited in
(10)- A fully sound goal solving calculus for the cooperation of solvers in the CFLP scheme
- Extending the \(\mathcal{TOY}\) system with the \(\mathrm{ECL}^i\mathrm{PS}^e\) solver over sets of integers
- Cooperation of algebraic constraint domains in higher-order functional and logic programming
- scientific article; zbMATH DE number 1822442 (Why is no real title available?)
- On the cooperation of the constraint domains ℋ, ℛ, and ℱ in CFLP
- Solution strategies for multi-domain constraint logic programs
- scientific article; zbMATH DE number 1231676 (Why is no real title available?)
- scientific article; zbMATH DE number 1954119 (Why is no real title available?)
- scientific article; zbMATH DE number 2079839 (Why is no real title available?)
- Modular constraint solver cooperation via abstract interpretation
This page was built for publication: A proposal for the cooperation of solvers in constraint functional logic programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2867959)
