Non-local configuration of component interfaces by constraint satisfaction

DOI10.1007/S10601-020-09309-YMaRDI QIDQ823765zbMATH OpenOpenAlexFDO

Authors Olga Tveretina, Pavel Zaichenkov, Alex Shafarenko

Publication date 16 December 2021

Published in Constraints (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1306.6029

zbMATH Keywords

constraint satisfactionconstraint languageinterface configuration

Mathematics Subject Classification ID

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)

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

Cites work

• scientific article; zbMATH DE number 3987347 (Why is no real title available?)
• scientific article; zbMATH DE number 3485178 (Why is no real title available?)
• scientific article; zbMATH DE number 2060756 (Why is no real title available?)
• scientific article; zbMATH DE number 7168151 (Why is no real title available?)
• A dichotomy theorem for constraint satisfaction problems on a 3-element set
• A lattice-theoretical fixpoint theorem and its applications
• Asynchronous stream processing with S-Net
• Boolean Constraint Satisfaction Problems: When Does Post’s Lattice Help?
• Closure properties of constraints
• Consistency in networks of relations
• Constraint satisfaction problems over semilattice block Mal'tsev algebras
• Constraint satisfaction tractability from semi-lattice operations on infinite sets
• Handbook of constraint programming.
• Intersection types and bounded polymorphism
• Multiparty asynchronous session types
• Network-based heuristics for constraint-satisfaction problems
• Networks of constraints: Fundamental properties and applications to picture processing
• Non-local configuration of component interfaces by constraint satisfaction
• On binary constraint problems
• On the calculus of relations
• Programming Languages and Systems
• Single Assignment C: efficient support for high-level array operations in a functional setting
• Structured Communication-Centred Programming for Web Services
• The Must Preorder Revisited
• The complexity of soft constraint satisfaction

Cited in

(1)

• Non-local configuration of component interfaces by constraint satisfaction

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)