Non-local configuration of component interfaces by constraint satisfaction
DOI10.1007/S10601-020-09309-YOpenAlexW3102102943MaRDI QIDQ823765FDOQ823765
Pavel Zaichenkov, Alex Shafarenko, Olga Tveretina
Publication date: 16 December 2021
Published in: Constraints (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1306.6029
Recommendations
- scientific article; zbMATH DE number 2084737
- Configuration and dynamic reconfiguration of components using the coordination paradigm
- scientific article; zbMATH DE number 1708110
- Coordination Models and Languages
- scientific article; zbMATH DE number 1964827
- Principles and Practice of Constraint Programming – CP 2004
- Contraint-based combinators for local search
Theory of programming languages (68N15) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)
Cites Work
- Handbook of constraint programming.
- Consistency in networks of relations
- A lattice-theoretical fixpoint theorem and its applications
- Constraint satisfaction tractability from semi-lattice operations on infinite sets
- A dichotomy theorem for constraint satisfaction problems on a 3-element set
- Title not available (Why is that?)
- Closure properties of constraints
- On the calculus of relations
- Network-based heuristics for constraint-satisfaction problems
- The complexity of soft constraint satisfaction
- Multiparty asynchronous session types
- The Must Preorder Revisited
- Networks of constraints: Fundamental properties and applications to picture processing
- Structured Communication-Centred Programming for Web Services
- On binary constraint problems
- Programming Languages and Systems
- Title not available (Why is that?)
- Single Assignment C: efficient support for high-level array operations in a functional setting
- Title not available (Why is that?)
- Asynchronous stream processing with S-Net
- Constraint satisfaction problems over semilattice block Mal'tsev algebras
- Intersection types and bounded polymorphism
- Title not available (Why is that?)
- Boolean Constraint Satisfaction Problems: When Does Post’s Lattice Help?
- Non-local configuration of component interfaces by constraint satisfaction
Cited In (1)
This page was built for publication: Non-local configuration of component interfaces by constraint satisfaction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q823765)
