Non-local configuration of component interfaces by constraint satisfaction
From MaRDI portal
Publication:823765
DOI10.1007/s10601-020-09309-yOpenAlexW3102102943MaRDI QIDQ823765
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
Theory of programming languages (68N15) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Non-local configuration of component interfaces by constraint satisfaction
- Network-based heuristics for constraint-satisfaction problems
- Consistency in networks of relations
- Networks of constraints: Fundamental properties and applications to picture processing
- Asynchronous stream processing with S-Net
- Constraint satisfaction problems over semilattice block Mal'tsev algebras
- The complexity of soft constraint satisfaction
- A lattice-theoretical fixpoint theorem and its applications
- Constraint satisfaction tractability from semi-lattice operations on infinite sets
- Single Assignment C: efficient support for high-level array operations in a functional setting
- Multiparty asynchronous session types
- The Must Preorder Revisited
- A dichotomy theorem for constraint satisfaction problems on a 3-element set
- On binary constraint problems
- Intersection types and bounded polymorphism
- Closure properties of constraints
- Boolean Constraint Satisfaction Problems: When Does Post’s Lattice Help?
- Structured Communication-Centred Programming for Web Services
- On the calculus of relations
- Programming Languages and Systems
This page was built for publication: Non-local configuration of component interfaces by constraint satisfaction
