FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1490681211> ?p ?o ?g. }

• W1490681211 endingPage "119" @default.
• W1490681211 startingPage "114" @default.
• W1490681211 abstract "The problem of checking for consistency of Constraint-Satisfaction Problems (CSPs) is a fundamental problem in the field of constraint-based reasonning. Moreover, it is a hard problem since satisfiability of CSPs belongs to the class of NPcomplete problems. So, in (Freuder 1982), Freuder gave theoretical results concerning consistency of binary CSPs (two variables per constraints). In this paper, we proposed an extension to these results to general CSP (n-ary constraints). On one hand, we define a partial consistency well adjusted to general CSPs called hyper-k-consistency. On the other hand, we proposed a measure of the connectivity of hypergraphs called width of hypergraphs. Using width of hypergraphs and hyper-k-consistency, we derive a theorem defining a sufficient condition for consistency of general CSPs." @default.
• W1490681211 created "2016-06-24" @default.
• W1490681211 creator A5000387372 @default.
• W1490681211 date "1993-07-11" @default.
• W1490681211 modified "2023-09-24" @default.
• W1490681211 title "On the consistency of general constraint-satisfaction problems" @default.
• W1490681211 cites W1987757745 @default.
• W1490681211 cites W1999038767 @default.
• W1490681211 cites W2002478775 @default.
• W1490681211 cites W2061734130 @default.
• W1490681211 cites W2068852367 @default.
• W1490681211 cites W2072755230 @default.
• W1490681211 cites W2106304333 @default.
• W1490681211 cites W2138037655 @default.
• W1490681211 cites W2148417962 @default.
• W1490681211 cites W2151720296 @default.
• W1490681211 hasPublicationYear "1993" @default.
• W1490681211 type Work @default.
• W1490681211 sameAs 1490681211 @default.
• W1490681211 citedByCount "16" @default.
• W1490681211 countsByYear W14906812112013 @default.
• W1490681211 countsByYear W14906812112015 @default.
• W1490681211 countsByYear W14906812112017 @default.
• W1490681211 countsByYear W14906812112021 @default.
• W1490681211 crossrefType "proceedings-article" @default.
• W1490681211 hasAuthorship W1490681211A5000387372 @default.
• W1490681211 hasConcept C105795698 @default.
• W1490681211 hasConcept C11413529 @default.
• W1490681211 hasConcept C118615104 @default.
• W1490681211 hasConcept C122377713 @default.
• W1490681211 hasConcept C124101348 @default.
• W1490681211 hasConcept C126255220 @default.
• W1490681211 hasConcept C137105694 @default.
• W1490681211 hasConcept C154945302 @default.
• W1490681211 hasConcept C168773769 @default.
• W1490681211 hasConcept C185429906 @default.
• W1490681211 hasConcept C199360897 @default.
• W1490681211 hasConcept C199622910 @default.
• W1490681211 hasConcept C2524010 @default.
• W1490681211 hasConcept C2776036281 @default.
• W1490681211 hasConcept C2776436953 @default.
• W1490681211 hasConcept C2777212361 @default.
• W1490681211 hasConcept C2778029271 @default.
• W1490681211 hasConcept C2780009758 @default.
• W1490681211 hasConcept C31388003 @default.
• W1490681211 hasConcept C33923547 @default.
• W1490681211 hasConcept C37279795 @default.
• W1490681211 hasConcept C41008148 @default.
• W1490681211 hasConcept C44616089 @default.
• W1490681211 hasConcept C49937458 @default.
• W1490681211 hasConcept C55439883 @default.
• W1490681211 hasConcept C79475747 @default.
• W1490681211 hasConcept C82029504 @default.
• W1490681211 hasConceptScore W1490681211C105795698 @default.
• W1490681211 hasConceptScore W1490681211C11413529 @default.
• W1490681211 hasConceptScore W1490681211C118615104 @default.
• W1490681211 hasConceptScore W1490681211C122377713 @default.
• W1490681211 hasConceptScore W1490681211C124101348 @default.
• W1490681211 hasConceptScore W1490681211C126255220 @default.
• W1490681211 hasConceptScore W1490681211C137105694 @default.
• W1490681211 hasConceptScore W1490681211C154945302 @default.
• W1490681211 hasConceptScore W1490681211C168773769 @default.
• W1490681211 hasConceptScore W1490681211C185429906 @default.
• W1490681211 hasConceptScore W1490681211C199360897 @default.
• W1490681211 hasConceptScore W1490681211C199622910 @default.
• W1490681211 hasConceptScore W1490681211C2524010 @default.
• W1490681211 hasConceptScore W1490681211C2776036281 @default.
• W1490681211 hasConceptScore W1490681211C2776436953 @default.
• W1490681211 hasConceptScore W1490681211C2777212361 @default.
• W1490681211 hasConceptScore W1490681211C2778029271 @default.
• W1490681211 hasConceptScore W1490681211C2780009758 @default.
• W1490681211 hasConceptScore W1490681211C31388003 @default.
• W1490681211 hasConceptScore W1490681211C33923547 @default.
• W1490681211 hasConceptScore W1490681211C37279795 @default.
• W1490681211 hasConceptScore W1490681211C41008148 @default.
• W1490681211 hasConceptScore W1490681211C44616089 @default.
• W1490681211 hasConceptScore W1490681211C49937458 @default.
• W1490681211 hasConceptScore W1490681211C55439883 @default.
• W1490681211 hasConceptScore W1490681211C79475747 @default.
• W1490681211 hasConceptScore W1490681211C82029504 @default.
• W1490681211 hasLocation W14906812111 @default.
• W1490681211 hasOpenAccess W1490681211 @default.
• W1490681211 hasPrimaryLocation W14906812111 @default.
• W1490681211 hasRelatedWork W14991534 @default.
• W1490681211 hasRelatedWork W1528090900 @default.
• W1490681211 hasRelatedWork W1855329006 @default.
• W1490681211 hasRelatedWork W1999038767 @default.
• W1490681211 hasRelatedWork W2000391493 @default.
• W1490681211 hasRelatedWork W2002478775 @default.
• W1490681211 hasRelatedWork W2040975306 @default.
• W1490681211 hasRelatedWork W2041737564 @default.
• W1490681211 hasRelatedWork W2072755230 @default.
• W1490681211 hasRelatedWork W2080192364 @default.
• W1490681211 hasRelatedWork W2099980081 @default.
• W1490681211 hasRelatedWork W2106304333 @default.
• W1490681211 hasRelatedWork W2113654469 @default.
• W1490681211 hasRelatedWork W2119456262 @default.
• W1490681211 hasRelatedWork W2135432705 @default.

• next