Matches in SemOpenAlex for { <https://semopenalex.org/work/W2945692665> ?p ?o ?g. }
- W2945692665 abstract "Constraint Satisfaction Problem (CSP) is a framework for modeling and solving a variety of real-world problems. Once the problem is expressed as a finite set of constraints, the goal is to find the variables' values satisfying them. Even though the problem is in general NP-complete, there are some approximation and practical techniques to tackle its intractability. One of the most widely used techniques is the Constraint Propagation. It consists in explicitly excluding values or combination of values for some variables whenever they make a given subset of constraints unsatisfied. In this paper, we deal with a CSP subclass which we call 4-CSP and whose constraint network infers relations of the form: ${ x sim alpha, x-y sim beta , (x-y) - (z-t) sim lambda }$, where $x, y, z$ and $t$ are real variables, $alpha , beta$ and $ lambda $ are real constants and $ sim in {leq , geq } $. The paper provides the first graph-based proofs of the 4-CSP tractability and elaborates algorithms for 4-CSP resolution based on the positive linear dependence theory, the hypergraph closure and the constraint propagation technique. Time and space complexities of the resolution algorithms are proved to be polynomial." @default.
- W2945692665 created "2019-05-29" @default.
- W2945692665 creator A5056582546 @default.
- W2945692665 creator A5083319793 @default.
- W2945692665 creator A5091770877 @default.
- W2945692665 date "2019-05-22" @default.
- W2945692665 modified "2023-09-25" @default.
- W2945692665 title "A Hypergraph Based Approach for the 4-Constraint Satisfaction Problem Tractability" @default.
- W2945692665 cites W11326594 @default.
- W2945692665 cites W1482233117 @default.
- W2945692665 cites W1502028089 @default.
- W2945692665 cites W1507199453 @default.
- W2945692665 cites W1518247129 @default.
- W2945692665 cites W1586530600 @default.
- W2945692665 cites W1824805445 @default.
- W2945692665 cites W1938260438 @default.
- W2945692665 cites W1945542985 @default.
- W2945692665 cites W1968208713 @default.
- W2945692665 cites W1974133806 @default.
- W2945692665 cites W1992147928 @default.
- W2945692665 cites W1995172234 @default.
- W2945692665 cites W199768280 @default.
- W2945692665 cites W2001101327 @default.
- W2945692665 cites W2011617423 @default.
- W2945692665 cites W2025782239 @default.
- W2945692665 cites W2026125863 @default.
- W2945692665 cites W2043100293 @default.
- W2945692665 cites W2054700680 @default.
- W2945692665 cites W2056229702 @default.
- W2945692665 cites W2065657706 @default.
- W2945692665 cites W2081810835 @default.
- W2945692665 cites W2083523511 @default.
- W2945692665 cites W2099980081 @default.
- W2945692665 cites W2111422217 @default.
- W2945692665 cites W2114052185 @default.
- W2945692665 cites W2115557582 @default.
- W2945692665 cites W2133905371 @default.
- W2945692665 cites W2135432705 @default.
- W2945692665 cites W2142481893 @default.
- W2945692665 cites W2155953212 @default.
- W2945692665 cites W2166566648 @default.
- W2945692665 cites W2170736936 @default.
- W2945692665 cites W2227557434 @default.
- W2945692665 cites W2243954424 @default.
- W2945692665 cites W2312715465 @default.
- W2945692665 cites W2950889910 @default.
- W2945692665 cites W642313811 @default.
- W2945692665 cites W86608404 @default.
- W2945692665 hasPublicationYear "2019" @default.
- W2945692665 type Work @default.
- W2945692665 sameAs 2945692665 @default.
- W2945692665 citedByCount "0" @default.
- W2945692665 crossrefType "posted-content" @default.
- W2945692665 hasAuthorship W2945692665A5056582546 @default.
- W2945692665 hasAuthorship W2945692665A5083319793 @default.
- W2945692665 hasAuthorship W2945692665A5091770877 @default.
- W2945692665 hasConcept C105795698 @default.
- W2945692665 hasConcept C114614502 @default.
- W2945692665 hasConcept C118615104 @default.
- W2945692665 hasConcept C120665830 @default.
- W2945692665 hasConcept C121332964 @default.
- W2945692665 hasConcept C126255220 @default.
- W2945692665 hasConcept C137105694 @default.
- W2945692665 hasConcept C138268822 @default.
- W2945692665 hasConcept C146834321 @default.
- W2945692665 hasConcept C154945302 @default.
- W2945692665 hasConcept C162324750 @default.
- W2945692665 hasConcept C178481205 @default.
- W2945692665 hasConcept C183046576 @default.
- W2945692665 hasConcept C199622910 @default.
- W2945692665 hasConcept C2524010 @default.
- W2945692665 hasConcept C2776036281 @default.
- W2945692665 hasConcept C2778113609 @default.
- W2945692665 hasConcept C2781221856 @default.
- W2945692665 hasConcept C311688 @default.
- W2945692665 hasConcept C33923547 @default.
- W2945692665 hasConcept C34447519 @default.
- W2945692665 hasConcept C41008148 @default.
- W2945692665 hasConcept C44616089 @default.
- W2945692665 hasConcept C49937458 @default.
- W2945692665 hasConceptScore W2945692665C105795698 @default.
- W2945692665 hasConceptScore W2945692665C114614502 @default.
- W2945692665 hasConceptScore W2945692665C118615104 @default.
- W2945692665 hasConceptScore W2945692665C120665830 @default.
- W2945692665 hasConceptScore W2945692665C121332964 @default.
- W2945692665 hasConceptScore W2945692665C126255220 @default.
- W2945692665 hasConceptScore W2945692665C137105694 @default.
- W2945692665 hasConceptScore W2945692665C138268822 @default.
- W2945692665 hasConceptScore W2945692665C146834321 @default.
- W2945692665 hasConceptScore W2945692665C154945302 @default.
- W2945692665 hasConceptScore W2945692665C162324750 @default.
- W2945692665 hasConceptScore W2945692665C178481205 @default.
- W2945692665 hasConceptScore W2945692665C183046576 @default.
- W2945692665 hasConceptScore W2945692665C199622910 @default.
- W2945692665 hasConceptScore W2945692665C2524010 @default.
- W2945692665 hasConceptScore W2945692665C2776036281 @default.
- W2945692665 hasConceptScore W2945692665C2778113609 @default.
- W2945692665 hasConceptScore W2945692665C2781221856 @default.
- W2945692665 hasConceptScore W2945692665C311688 @default.
- W2945692665 hasConceptScore W2945692665C33923547 @default.