Matches in SemOpenAlex for { <https://semopenalex.org/work/W2887013560> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2887013560 endingPage "161" @default.
- W2887013560 startingPage "141" @default.
- W2887013560 abstract "We study the cutting planes system CP+ ∀ red for quantified Boolean formulas (QBF), obtained by augmenting propositional Cutting Planes with a universal reduction rule, and analyse the proof-theoretic strength of this new calculus. While in the propositional case, Cutting Planes is of intermediate strength between resolution and Frege, our findings here show that the situation in QBF is slightly more complex: while CP+ ∀ red is again weaker than QBF Frege and stronger than the CDCL-based QBF resolution systems Q-Res and QU-Res , it turns out to be incomparable to even the weakest expansion-based QBF resolution system ∀ Exp+Res . A similar picture holds for a semantic version semCP+ ∀ red . Technically, our results establish the effectiveness of two lower bound techniques for CP+ ∀ red : via strategy extraction and via monotone feasible interpolation." @default.
- W2887013560 created "2018-08-22" @default.
- W2887013560 creator A5020709378 @default.
- W2887013560 creator A5042128349 @default.
- W2887013560 creator A5083294974 @default.
- W2887013560 creator A5085555660 @default.
- W2887013560 date "2018-10-01" @default.
- W2887013560 modified "2023-10-16" @default.
- W2887013560 title "Understanding cutting planes for QBFs" @default.
- W2887013560 cites W1968584500 @default.
- W2887013560 cites W1976876676 @default.
- W2887013560 cites W1988083342 @default.
- W2887013560 cites W1996660205 @default.
- W2887013560 cites W2007381442 @default.
- W2887013560 cites W2008138636 @default.
- W2887013560 cites W2024091095 @default.
- W2887013560 cites W2038193643 @default.
- W2887013560 cites W2044095368 @default.
- W2887013560 cites W2044632231 @default.
- W2887013560 cites W2051846104 @default.
- W2887013560 cites W2068363706 @default.
- W2887013560 cites W2069767473 @default.
- W2887013560 cites W2070447189 @default.
- W2887013560 cites W2072789827 @default.
- W2887013560 cites W2100738443 @default.
- W2887013560 cites W2113011069 @default.
- W2887013560 cites W2117124673 @default.
- W2887013560 cites W2202163874 @default.
- W2887013560 cites W2309239751 @default.
- W2887013560 cites W2778491775 @default.
- W2887013560 cites W3014805183 @default.
- W2887013560 cites W4212971335 @default.
- W2887013560 doi "https://doi.org/10.1016/j.ic.2018.08.002" @default.
- W2887013560 hasPublicationYear "2018" @default.
- W2887013560 type Work @default.
- W2887013560 sameAs 2887013560 @default.
- W2887013560 citedByCount "6" @default.
- W2887013560 countsByYear W28870135602017 @default.
- W2887013560 countsByYear W28870135602019 @default.
- W2887013560 countsByYear W28870135602020 @default.
- W2887013560 countsByYear W28870135602021 @default.
- W2887013560 crossrefType "journal-article" @default.
- W2887013560 hasAuthorship W2887013560A5020709378 @default.
- W2887013560 hasAuthorship W2887013560A5042128349 @default.
- W2887013560 hasAuthorship W2887013560A5083294974 @default.
- W2887013560 hasAuthorship W2887013560A5085555660 @default.
- W2887013560 hasBestOaLocation W28870135601 @default.
- W2887013560 hasConcept C154945302 @default.
- W2887013560 hasConcept C41008148 @default.
- W2887013560 hasConceptScore W2887013560C154945302 @default.
- W2887013560 hasConceptScore W2887013560C41008148 @default.
- W2887013560 hasFunder F4320306193 @default.
- W2887013560 hasFunder F4320334627 @default.
- W2887013560 hasLocation W28870135601 @default.
- W2887013560 hasLocation W28870135602 @default.
- W2887013560 hasLocation W28870135603 @default.
- W2887013560 hasLocation W28870135604 @default.
- W2887013560 hasOpenAccess W2887013560 @default.
- W2887013560 hasPrimaryLocation W28870135601 @default.
- W2887013560 hasRelatedWork W2093578348 @default.
- W2887013560 hasRelatedWork W2096946506 @default.
- W2887013560 hasRelatedWork W2358668433 @default.
- W2887013560 hasRelatedWork W2376932109 @default.
- W2887013560 hasRelatedWork W2382290278 @default.
- W2887013560 hasRelatedWork W2390279801 @default.
- W2887013560 hasRelatedWork W2748952813 @default.
- W2887013560 hasRelatedWork W2766271392 @default.
- W2887013560 hasRelatedWork W2899084033 @default.
- W2887013560 hasRelatedWork W3107474891 @default.
- W2887013560 hasVolume "262" @default.
- W2887013560 isParatext "false" @default.
- W2887013560 isRetracted "false" @default.
- W2887013560 magId "2887013560" @default.
- W2887013560 workType "article" @default.