scientific article; zbMATH DE number 1759706
From MaRDI portal
Publication:4536717
Recommendations
Cites work
- A theory of abstraction
- Consistency in networks of relations
- Constructive versions of Tarski's fixed point theorems
- scientific article; zbMATH DE number 2084751 (Why is no real title available?)
- scientific article; zbMATH DE number 1759706 (Why is no real title available?)
- scientific article; zbMATH DE number 1759711 (Why is no real title available?)
- scientific article; zbMATH DE number 3083503 (Why is no real title available?)
- Semiring-based constraint satisfaction and optimization
- Semiring-based CSPs and valued CSPs: Frameworks, properties, and comparison
Cited in
(8)- Exploiting functional dependencies in declarative problem specifications
- General properties and termination conditions for soft constraint propagation
- Abstracting soft constraints: framework, properties, examples
- scientific article; zbMATH DE number 1759706 (Why is no real title available?)
- Abstraction in constraint optimization problems
- Formal Approaches to Software Testing
- Recent Advances in Constraints
- Soft constraint abstraction based on semiring homomorphism
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4536717)