Negation in combining constraint systems
From MaRDI portal
Recommendations
- Negation and constraint logic programming
- scientific article; zbMATH DE number 1456952
- Negative Boolean constraints
- A necessary condition for constructive negation in constraint logic programming
- Decidability of systems of set constraints with negative constraints
- Constraints in non-Boolean contexts
- scientific article; zbMATH DE number 1822058
- Constructive negation and constraint logic programming with sets
- scientific article; zbMATH DE number 512884
- Combining negation as failure and embedded implications in logic programs
Cited in
(5)- Combination of constraint solvers for free and quasi-free structures
- Constraints in non-Boolean contexts
- A necessary condition for constructive negation in constraint logic programming
- scientific article; zbMATH DE number 1485616 (Why is no real title available?)
- Combination of constraint systems II: Rational amalgamation
This page was built for publication: Negation in combining constraint systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2782487)
