Matches in SemOpenAlex for { <https://semopenalex.org/work/W2170846366> ?p ?o ?g. }
- W2170846366 endingPage "30" @default.
- W2170846366 startingPage "23" @default.
- W2170846366 abstract "Constraint networks are hyper-graphs whose nodes and hyper-edges respectively represent variables and relations between them. The problem to assign values to variables by satisfying all constraints is NP-complete. We propose an algebraic approach to the design and transformation of constraint networks, inspired by Architectural Design Rewriting (ADR). The main idea is to exploit ADR to equip constraint networks with some hierarchical structure and represent them as terms of a suitable algebra, when possible. Constraint network transformations such as constraint propagations are then specified with efficient rewrite rules exploiting the network's structure provided by terms. The approach can be understood as (i) an extension of ADR with constraints, and (ii) an application of ADR to the design of reconfigurable constraint networks." @default.
- W2170846366 created "2016-06-24" @default.
- W2170846366 creator A5037127043 @default.
- W2170846366 creator A5054527006 @default.
- W2170846366 creator A5061468940 @default.
- W2170846366 date "2015-01-01" @default.
- W2170846366 modified "2023-10-03" @default.
- W2170846366 title "Constraint design rewriting" @default.
- W2170846366 cites W127565347 @default.
- W2170846366 cites W1482196482 @default.
- W2170846366 cites W1484756760 @default.
- W2170846366 cites W1509205521 @default.
- W2170846366 cites W1517101909 @default.
- W2170846366 cites W1573313194 @default.
- W2170846366 cites W1577544661 @default.
- W2170846366 cites W1808012217 @default.
- W2170846366 cites W1976011706 @default.
- W2170846366 cites W1989969984 @default.
- W2170846366 cites W2054700680 @default.
- W2170846366 cites W2077558088 @default.
- W2170846366 cites W2096937604 @default.
- W2170846366 cites W2113463646 @default.
- W2170846366 cites W2119456262 @default.
- W2170846366 cites W2126705499 @default.
- W2170846366 cites W2296136138 @default.
- W2170846366 cites W2529918221 @default.
- W2170846366 cites W2963001350 @default.
- W2170846366 cites W42768861 @default.
- W2170846366 cites W2142423074 @default.
- W2170846366 doi "https://doi.org/10.1016/j.scico.2013.11.015" @default.
- W2170846366 hasPublicationYear "2015" @default.
- W2170846366 type Work @default.
- W2170846366 sameAs 2170846366 @default.
- W2170846366 citedByCount "0" @default.
- W2170846366 crossrefType "journal-article" @default.
- W2170846366 hasAuthorship W2170846366A5037127043 @default.
- W2170846366 hasAuthorship W2170846366A5054527006 @default.
- W2170846366 hasAuthorship W2170846366A5061468940 @default.
- W2170846366 hasBestOaLocation W21708463662 @default.
- W2170846366 hasConcept C104317684 @default.
- W2170846366 hasConcept C126255220 @default.
- W2170846366 hasConcept C132525143 @default.
- W2170846366 hasConcept C137631369 @default.
- W2170846366 hasConcept C154690210 @default.
- W2170846366 hasConcept C154945302 @default.
- W2170846366 hasConcept C173404611 @default.
- W2170846366 hasConcept C176783269 @default.
- W2170846366 hasConcept C178481205 @default.
- W2170846366 hasConcept C185592680 @default.
- W2170846366 hasConcept C199360897 @default.
- W2170846366 hasConcept C204241405 @default.
- W2170846366 hasConcept C2524010 @default.
- W2170846366 hasConcept C2776036281 @default.
- W2170846366 hasConcept C2778029271 @default.
- W2170846366 hasConcept C33923547 @default.
- W2170846366 hasConcept C41008148 @default.
- W2170846366 hasConcept C44616089 @default.
- W2170846366 hasConcept C49937458 @default.
- W2170846366 hasConcept C55493867 @default.
- W2170846366 hasConcept C558772884 @default.
- W2170846366 hasConcept C79475747 @default.
- W2170846366 hasConcept C80444323 @default.
- W2170846366 hasConceptScore W2170846366C104317684 @default.
- W2170846366 hasConceptScore W2170846366C126255220 @default.
- W2170846366 hasConceptScore W2170846366C132525143 @default.
- W2170846366 hasConceptScore W2170846366C137631369 @default.
- W2170846366 hasConceptScore W2170846366C154690210 @default.
- W2170846366 hasConceptScore W2170846366C154945302 @default.
- W2170846366 hasConceptScore W2170846366C173404611 @default.
- W2170846366 hasConceptScore W2170846366C176783269 @default.
- W2170846366 hasConceptScore W2170846366C178481205 @default.
- W2170846366 hasConceptScore W2170846366C185592680 @default.
- W2170846366 hasConceptScore W2170846366C199360897 @default.
- W2170846366 hasConceptScore W2170846366C204241405 @default.
- W2170846366 hasConceptScore W2170846366C2524010 @default.
- W2170846366 hasConceptScore W2170846366C2776036281 @default.
- W2170846366 hasConceptScore W2170846366C2778029271 @default.
- W2170846366 hasConceptScore W2170846366C33923547 @default.
- W2170846366 hasConceptScore W2170846366C41008148 @default.
- W2170846366 hasConceptScore W2170846366C44616089 @default.
- W2170846366 hasConceptScore W2170846366C49937458 @default.
- W2170846366 hasConceptScore W2170846366C55493867 @default.
- W2170846366 hasConceptScore W2170846366C558772884 @default.
- W2170846366 hasConceptScore W2170846366C79475747 @default.
- W2170846366 hasConceptScore W2170846366C80444323 @default.
- W2170846366 hasLocation W21708463661 @default.
- W2170846366 hasLocation W21708463662 @default.
- W2170846366 hasLocation W21708463663 @default.
- W2170846366 hasLocation W21708463664 @default.
- W2170846366 hasLocation W21708463665 @default.
- W2170846366 hasOpenAccess W2170846366 @default.
- W2170846366 hasPrimaryLocation W21708463661 @default.
- W2170846366 hasRelatedWork W1486916474 @default.
- W2170846366 hasRelatedWork W1493198162 @default.
- W2170846366 hasRelatedWork W1497865450 @default.
- W2170846366 hasRelatedWork W2097415053 @default.
- W2170846366 hasRelatedWork W2137743780 @default.
- W2170846366 hasRelatedWork W2170846366 @default.