FRINK Linked Data Fragments server

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

• W1568917966 endingPage "177" @default.
• W1568917966 startingPage "161" @default.
• W1568917966 abstract "The problem of propositional satisfiability (SAT) has found a number of applications in both theoretical and practical computer science. In many applications, however, knowing a formula's satisfiability alone is insufficient. Often, some other properties of the formula need to be computed. This article focuses on one such property: the backbone of a formula, which is the set of literals that are true in all the formula's models. Backbones find theoretical applications in characterization of SAT problems and they also find practical applications in product configuration or fault localization. This article overviews existing algorithms for backbone computation and introduces two novel ones. Further, an extensive evaluation of the algorithms is presented. This evaluation demonstrates that one of the novel algorithms significantly outperforms the existing ones." @default.
• W1568917966 created "2016-06-24" @default.
• W1568917966 creator A5002246957 @default.
• W1568917966 creator A5058622165 @default.
• W1568917966 creator A5083748570 @default.
• W1568917966 date "2015-01-01" @default.
• W1568917966 modified "2023-09-23" @default.
• W1568917966 title "Algorithms for computing backbones of propositional formulae" @default.
• W1568917966 cites W119554023 @default.
• W1568917966 cites W128869332 @default.
• W1568917966 cites W1500570021 @default.
• W1568917966 cites W1502387304 @default.
• W1568917966 cites W1518705996 @default.
• W1568917966 cites W1523041988 @default.
• W1568917966 cites W153733639 @default.
• W1568917966 cites W1538237753 @default.
• W1568917966 cites W1547673199 @default.
• W1568917966 cites W1556434751 @default.
• W1568917966 cites W1650993530 @default.
• W1568917966 cites W178358665 @default.
• W1568917966 cites W1863967017 @default.
• W1568917966 cites W192097321 @default.
• W1568917966 cites W1946973508 @default.
• W1568917966 cites W1956710190 @default.
• W1568917966 cites W1973267383 @default.
• W1568917966 cites W1996338626 @default.
• W1568917966 cites W2006424894 @default.
• W1568917966 cites W2040287193 @default.
• W1568917966 cites W2092520161 @default.
• W1568917966 cites W2103406309 @default.
• W1568917966 cites W2113201637 @default.
• W1568917966 cites W2114600785 @default.
• W1568917966 cites W2147148915 @default.
• W1568917966 cites W2150932843 @default.
• W1568917966 cites W2151398141 @default.
• W1568917966 cites W2182363814 @default.
• W1568917966 cites W2752885492 @default.
• W1568917966 cites W2950680102 @default.
• W1568917966 cites W30044362 @default.
• W1568917966 cites W3145128584 @default.
• W1568917966 cites W71714615 @default.
• W1568917966 cites W73413430 @default.
• W1568917966 cites W93737390 @default.
• W1568917966 cites W301824129 @default.
• W1568917966 doi "https://doi.org/10.3233/aic-140640" @default.
• W1568917966 hasPublicationYear "2015" @default.
• W1568917966 type Work @default.
• W1568917966 sameAs 1568917966 @default.
• W1568917966 citedByCount "41" @default.
• W1568917966 countsByYear W15689179662014 @default.
• W1568917966 countsByYear W15689179662015 @default.
• W1568917966 countsByYear W15689179662016 @default.
• W1568917966 countsByYear W15689179662017 @default.
• W1568917966 countsByYear W15689179662018 @default.
• W1568917966 countsByYear W15689179662019 @default.
• W1568917966 countsByYear W15689179662020 @default.
• W1568917966 countsByYear W15689179662021 @default.
• W1568917966 countsByYear W15689179662022 @default.
• W1568917966 crossrefType "journal-article" @default.
• W1568917966 hasAuthorship W1568917966A5002246957 @default.
• W1568917966 hasAuthorship W1568917966A5058622165 @default.
• W1568917966 hasAuthorship W1568917966A5083748570 @default.
• W1568917966 hasBestOaLocation W15689179662 @default.
• W1568917966 hasConcept C102993220 @default.
• W1568917966 hasConcept C14523651 @default.
• W1568917966 hasConcept C199360897 @default.
• W1568917966 hasConcept C33203268 @default.
• W1568917966 hasConcept C41008148 @default.
• W1568917966 hasConcept C69562738 @default.
• W1568917966 hasConcept C74640108 @default.
• W1568917966 hasConcept C80444323 @default.
• W1568917966 hasConceptScore W1568917966C102993220 @default.
• W1568917966 hasConceptScore W1568917966C14523651 @default.
• W1568917966 hasConceptScore W1568917966C199360897 @default.
• W1568917966 hasConceptScore W1568917966C33203268 @default.
• W1568917966 hasConceptScore W1568917966C41008148 @default.
• W1568917966 hasConceptScore W1568917966C69562738 @default.
• W1568917966 hasConceptScore W1568917966C74640108 @default.
• W1568917966 hasConceptScore W1568917966C80444323 @default.
• W1568917966 hasIssue "2" @default.
• W1568917966 hasLocation W15689179661 @default.
• W1568917966 hasLocation W15689179662 @default.
• W1568917966 hasOpenAccess W1568917966 @default.
• W1568917966 hasPrimaryLocation W15689179661 @default.
• W1568917966 hasRelatedWork W117548466 @default.
• W1568917966 hasRelatedWork W1489411336 @default.
• W1568917966 hasRelatedWork W1550790359 @default.
• W1568917966 hasRelatedWork W1971508608 @default.
• W1568917966 hasRelatedWork W2049931186 @default.
• W1568917966 hasRelatedWork W2177212599 @default.
• W1568917966 hasRelatedWork W2403284201 @default.
• W1568917966 hasRelatedWork W2891074990 @default.
• W1568917966 hasRelatedWork W3040050880 @default.
• W1568917966 hasRelatedWork W2187885897 @default.
• W1568917966 hasVolume "28" @default.
• W1568917966 isParatext "false" @default.
• W1568917966 isRetracted "false" @default.
• W1568917966 magId "1568917966" @default.

• next