FRINK Linked Data Fragments server

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

• W2394843145 endingPage "99" @default.
• W2394843145 startingPage "90" @default.
• W2394843145 abstract "The task of enforcing certain level of consistency in Boolean satisfiability problem (SAT problem) is addressed in this paper. The concept of path-consistency known from the constraint programming paradigm is revisited in this context. Augmentations how to make path-consistency more suitable for SAT are specifically studied. A stronger variant of path-consistency is described and its theoretical properties are investigated. It combines the standard path consistency on the literal encoding of the given SAT instance with global properties calculated from constraints imposed by the instance – namely with the maximum number of visits of a certain set by the path. Unfortunately, the problem of enforcing this variant of path-consistency turned out to be NP hard. Hence, various types of relaxations of this stronger version of path-consistency were proposed. The relaxed version of the proposed consistency represents a trade-off between the inference strength and the complexity of its propagation algorithm. A presented theoretical analysis shows that computational costs of the proposed consistency are kept reasonably low. Performed experiments show that the new consistency outperforms the standard path-consistency in terms of the inference strength as well." @default.
• W2394843145 created "2016-06-24" @default.
• W2394843145 creator A5031732925 @default.
• W2394843145 date "2011-01-01" @default.
• W2394843145 modified "2023-09-26" @default.
• W2394843145 title "Exploiting Global Properties in Path-Consistency Applied on SAT." @default.
• W2394843145 cites W1487965496 @default.
• W2394843145 cites W1586731739 @default.
• W2394843145 cites W1599844227 @default.
• W2394843145 cites W1975099798 @default.
• W2394843145 cites W2011039300 @default.
• W2394843145 cites W2032856248 @default.
• W2394843145 cites W2036265926 @default.
• W2394843145 cites W2098508444 @default.
• W2394843145 cites W2119456262 @default.
• W2394843145 cites W2138037655 @default.
• W2394843145 cites W2155151982 @default.
• W2394843145 cites W3004540582 @default.
• W2394843145 hasPublicationYear "2011" @default.
• W2394843145 type Work @default.
• W2394843145 sameAs 2394843145 @default.
• W2394843145 citedByCount "0" @default.
• W2394843145 crossrefType "proceedings-article" @default.
• W2394843145 hasAuthorship W2394843145A5031732925 @default.
• W2394843145 hasConcept C105795698 @default.
• W2394843145 hasConcept C11413529 @default.
• W2394843145 hasConcept C122377713 @default.
• W2394843145 hasConcept C126255220 @default.
• W2394843145 hasConcept C137105694 @default.
• W2394843145 hasConcept C151730666 @default.
• W2394843145 hasConcept C154945302 @default.
• W2394843145 hasConcept C168773769 @default.
• W2394843145 hasConcept C177264268 @default.
• W2394843145 hasConcept C185429906 @default.
• W2394843145 hasConcept C199360897 @default.
• W2394843145 hasConcept C199622910 @default.
• W2394843145 hasConcept C2524010 @default.
• W2394843145 hasConcept C2776036281 @default.
• W2394843145 hasConcept C2776214188 @default.
• W2394843145 hasConcept C2776436953 @default.
• W2394843145 hasConcept C2777735758 @default.
• W2394843145 hasConcept C2779343474 @default.
• W2394843145 hasConcept C31388003 @default.
• W2394843145 hasConcept C33923547 @default.
• W2394843145 hasConcept C37279795 @default.
• W2394843145 hasConcept C41008148 @default.
• W2394843145 hasConcept C49937458 @default.
• W2394843145 hasConcept C55439883 @default.
• W2394843145 hasConcept C80444323 @default.
• W2394843145 hasConcept C82029504 @default.
• W2394843145 hasConcept C86803240 @default.
• W2394843145 hasConceptScore W2394843145C105795698 @default.
• W2394843145 hasConceptScore W2394843145C11413529 @default.
• W2394843145 hasConceptScore W2394843145C122377713 @default.
• W2394843145 hasConceptScore W2394843145C126255220 @default.
• W2394843145 hasConceptScore W2394843145C137105694 @default.
• W2394843145 hasConceptScore W2394843145C151730666 @default.
• W2394843145 hasConceptScore W2394843145C154945302 @default.
• W2394843145 hasConceptScore W2394843145C168773769 @default.
• W2394843145 hasConceptScore W2394843145C177264268 @default.
• W2394843145 hasConceptScore W2394843145C185429906 @default.
• W2394843145 hasConceptScore W2394843145C199360897 @default.
• W2394843145 hasConceptScore W2394843145C199622910 @default.
• W2394843145 hasConceptScore W2394843145C2524010 @default.
• W2394843145 hasConceptScore W2394843145C2776036281 @default.
• W2394843145 hasConceptScore W2394843145C2776214188 @default.
• W2394843145 hasConceptScore W2394843145C2776436953 @default.
• W2394843145 hasConceptScore W2394843145C2777735758 @default.
• W2394843145 hasConceptScore W2394843145C2779343474 @default.
• W2394843145 hasConceptScore W2394843145C31388003 @default.
• W2394843145 hasConceptScore W2394843145C33923547 @default.
• W2394843145 hasConceptScore W2394843145C37279795 @default.
• W2394843145 hasConceptScore W2394843145C41008148 @default.
• W2394843145 hasConceptScore W2394843145C49937458 @default.
• W2394843145 hasConceptScore W2394843145C55439883 @default.
• W2394843145 hasConceptScore W2394843145C80444323 @default.
• W2394843145 hasConceptScore W2394843145C82029504 @default.
• W2394843145 hasConceptScore W2394843145C86803240 @default.
• W2394843145 hasLocation W23948431451 @default.
• W2394843145 hasOpenAccess W2394843145 @default.
• W2394843145 hasPrimaryLocation W23948431451 @default.
• W2394843145 hasRelatedWork W1486846482 @default.
• W2394843145 hasRelatedWork W14991534 @default.
• W2394843145 hasRelatedWork W1522779181 @default.
• W2394843145 hasRelatedWork W1553093957 @default.
• W2394843145 hasRelatedWork W1572207853 @default.
• W2394843145 hasRelatedWork W1588928324 @default.
• W2394843145 hasRelatedWork W183231067 @default.
• W2394843145 hasRelatedWork W1941941198 @default.
• W2394843145 hasRelatedWork W2017549627 @default.
• W2394843145 hasRelatedWork W2067456686 @default.
• W2394843145 hasRelatedWork W2119248411 @default.
• W2394843145 hasRelatedWork W2145887405 @default.
• W2394843145 hasRelatedWork W2175175400 @default.
• W2394843145 hasRelatedWork W2186112877 @default.
• W2394843145 hasRelatedWork W2549375709 @default.
• W2394843145 hasRelatedWork W2806347362 @default.
• W2394843145 hasRelatedWork W2921069947 @default.

• next