FRINK Linked Data Fragments server

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

• W1564470442 endingPage "371" @default.
• W1564470442 startingPage "357" @default.
• W1564470442 abstract "We develop and analyze clause elimination procedures, a specific family of simplification techniques for conjunctive normal form (CNF) formulas. Extending known procedures such as tautology, subsumption, and blocked clause elimination, we introduce novel elimination procedures based on hidden and asymmetric variants of these techniques. We analyze the resulting nine (including five new) clause elimination procedures from various perspectives: size reduction, BCP-preservance, confluence, and logical equivalence. For the variants not preserving logical equivalence, we show how to reconstruct solutions to original CNFs from satisfying assignments to simplified CNFs. We also identify a clause elimination procedure that does a transitive reduction of the binary implication graph underlying any CNF formula purely on the CNF level." @default.
• W1564470442 created "2016-06-24" @default.
• W1564470442 creator A5025921874 @default.
• W1564470442 creator A5081120128 @default.
• W1564470442 creator A5082596567 @default.
• W1564470442 date "2010-01-01" @default.
• W1564470442 modified "2023-10-16" @default.
• W1564470442 title "Clause Elimination Procedures for CNF Formulas" @default.
• W1564470442 cites W1600869845 @default.
• W1564470442 cites W1656268799 @default.
• W1564470442 cites W1950282396 @default.
• W1564470442 cites W1973267383 @default.
• W1564470442 cites W2021870295 @default.
• W1564470442 cites W2037395516 @default.
• W1564470442 cites W2110920860 @default.
• W1564470442 cites W2135117708 @default.
• W1564470442 cites W2225800216 @default.
• W1564470442 cites W4248922942 @default.
• W1564470442 doi "https://doi.org/10.1007/978-3-642-16242-8_26" @default.
• W1564470442 hasPublicationYear "2010" @default.
• W1564470442 type Work @default.
• W1564470442 sameAs 1564470442 @default.
• W1564470442 citedByCount "47" @default.
• W1564470442 countsByYear W15644704422012 @default.
• W1564470442 countsByYear W15644704422013 @default.
• W1564470442 countsByYear W15644704422014 @default.
• W1564470442 countsByYear W15644704422015 @default.
• W1564470442 countsByYear W15644704422016 @default.
• W1564470442 countsByYear W15644704422017 @default.
• W1564470442 countsByYear W15644704422018 @default.
• W1564470442 countsByYear W15644704422019 @default.
• W1564470442 countsByYear W15644704422020 @default.
• W1564470442 countsByYear W15644704422021 @default.
• W1564470442 countsByYear W15644704422023 @default.
• W1564470442 crossrefType "book-chapter" @default.
• W1564470442 hasAuthorship W1564470442A5025921874 @default.
• W1564470442 hasAuthorship W1564470442A5081120128 @default.
• W1564470442 hasAuthorship W1564470442A5082596567 @default.
• W1564470442 hasBestOaLocation W15644704422 @default.
• W1564470442 hasConcept C102993220 @default.
• W1564470442 hasConcept C111335779 @default.
• W1564470442 hasConcept C11413529 @default.
• W1564470442 hasConcept C114614502 @default.
• W1564470442 hasConcept C118615104 @default.
• W1564470442 hasConcept C129691609 @default.
• W1564470442 hasConcept C132525143 @default.
• W1564470442 hasConcept C14523651 @default.
• W1564470442 hasConcept C166374712 @default.
• W1564470442 hasConcept C191399111 @default.
• W1564470442 hasConcept C199360897 @default.
• W1564470442 hasConcept C203776342 @default.
• W1564470442 hasConcept C22149727 @default.
• W1564470442 hasConcept C2524010 @default.
• W1564470442 hasConcept C2780069185 @default.
• W1564470442 hasConcept C3309909 @default.
• W1564470442 hasConcept C33203268 @default.
• W1564470442 hasConcept C33923547 @default.
• W1564470442 hasConcept C41008148 @default.
• W1564470442 hasConcept C55439883 @default.
• W1564470442 hasConcept C70846408 @default.
• W1564470442 hasConcept C77906462 @default.
• W1564470442 hasConcept C80444323 @default.
• W1564470442 hasConceptScore W1564470442C102993220 @default.
• W1564470442 hasConceptScore W1564470442C111335779 @default.
• W1564470442 hasConceptScore W1564470442C11413529 @default.
• W1564470442 hasConceptScore W1564470442C114614502 @default.
• W1564470442 hasConceptScore W1564470442C118615104 @default.
• W1564470442 hasConceptScore W1564470442C129691609 @default.
• W1564470442 hasConceptScore W1564470442C132525143 @default.
• W1564470442 hasConceptScore W1564470442C14523651 @default.
• W1564470442 hasConceptScore W1564470442C166374712 @default.
• W1564470442 hasConceptScore W1564470442C191399111 @default.
• W1564470442 hasConceptScore W1564470442C199360897 @default.
• W1564470442 hasConceptScore W1564470442C203776342 @default.
• W1564470442 hasConceptScore W1564470442C22149727 @default.
• W1564470442 hasConceptScore W1564470442C2524010 @default.
• W1564470442 hasConceptScore W1564470442C2780069185 @default.
• W1564470442 hasConceptScore W1564470442C3309909 @default.
• W1564470442 hasConceptScore W1564470442C33203268 @default.
• W1564470442 hasConceptScore W1564470442C33923547 @default.
• W1564470442 hasConceptScore W1564470442C41008148 @default.
• W1564470442 hasConceptScore W1564470442C55439883 @default.
• W1564470442 hasConceptScore W1564470442C70846408 @default.
• W1564470442 hasConceptScore W1564470442C77906462 @default.
• W1564470442 hasConceptScore W1564470442C80444323 @default.
• W1564470442 hasLocation W15644704421 @default.
• W1564470442 hasLocation W15644704422 @default.
• W1564470442 hasOpenAccess W1564470442 @default.
• W1564470442 hasPrimaryLocation W15644704421 @default.
• W1564470442 hasRelatedWork W1482220610 @default.
• W1564470442 hasRelatedWork W1564470442 @default.
• W1564470442 hasRelatedWork W2143556329 @default.
• W1564470442 hasRelatedWork W2888125526 @default.
• W1564470442 hasRelatedWork W2995607835 @default.
• W1564470442 hasRelatedWork W3128141066 @default.
• W1564470442 hasRelatedWork W4289672344 @default.
• W1564470442 hasRelatedWork W4378506732 @default.
• W1564470442 hasRelatedWork W90984379 @default.

• next