Matches in SemOpenAlex for { <https://semopenalex.org/work/W2578803399> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2578803399 startingPage "43" @default.
- W2578803399 abstract "The proof system Q-resolution and its variations provide the underlying proof systems for the DPLL-based QBF solvers. While (long-distance) Q-resolution models a conflict driven clause learning (CDCL) QBF solver, the inverse relation is not well understood. This paper shows that CDCL solving not only does not simulate Q-resolution, but also that this is deeply embedded in the workings of the solver. This contrasts with SAT solving, where CDCL solvers have been shown to simulate resolution." @default.
- W2578803399 created "2017-01-26" @default.
- W2578803399 creator A5083748570 @default.
- W2578803399 date "2016-01-01" @default.
- W2578803399 modified "2023-09-27" @default.
- W2578803399 title "On Q-Resolution and CDCL QBF Solving." @default.
- W2578803399 hasPublicationYear "2016" @default.
- W2578803399 type Work @default.
- W2578803399 sameAs 2578803399 @default.
- W2578803399 citedByCount "0" @default.
- W2578803399 crossrefType "journal-article" @default.
- W2578803399 hasAuthorship W2578803399A5083748570 @default.
- W2578803399 hasConcept C11413529 @default.
- W2578803399 hasConcept C124101348 @default.
- W2578803399 hasConcept C12707504 @default.
- W2578803399 hasConcept C134652429 @default.
- W2578803399 hasConcept C138268822 @default.
- W2578803399 hasConcept C143936061 @default.
- W2578803399 hasConcept C154945302 @default.
- W2578803399 hasConcept C199360897 @default.
- W2578803399 hasConcept C207467116 @default.
- W2578803399 hasConcept C2524010 @default.
- W2578803399 hasConcept C25343380 @default.
- W2578803399 hasConcept C2778770139 @default.
- W2578803399 hasConcept C33923547 @default.
- W2578803399 hasConcept C41008148 @default.
- W2578803399 hasConcept C76155785 @default.
- W2578803399 hasConceptScore W2578803399C11413529 @default.
- W2578803399 hasConceptScore W2578803399C124101348 @default.
- W2578803399 hasConceptScore W2578803399C12707504 @default.
- W2578803399 hasConceptScore W2578803399C134652429 @default.
- W2578803399 hasConceptScore W2578803399C138268822 @default.
- W2578803399 hasConceptScore W2578803399C143936061 @default.
- W2578803399 hasConceptScore W2578803399C154945302 @default.
- W2578803399 hasConceptScore W2578803399C199360897 @default.
- W2578803399 hasConceptScore W2578803399C207467116 @default.
- W2578803399 hasConceptScore W2578803399C2524010 @default.
- W2578803399 hasConceptScore W2578803399C25343380 @default.
- W2578803399 hasConceptScore W2578803399C2778770139 @default.
- W2578803399 hasConceptScore W2578803399C33923547 @default.
- W2578803399 hasConceptScore W2578803399C41008148 @default.
- W2578803399 hasConceptScore W2578803399C76155785 @default.
- W2578803399 hasLocation W25788033991 @default.
- W2578803399 hasOpenAccess W2578803399 @default.
- W2578803399 hasPrimaryLocation W25788033991 @default.
- W2578803399 hasRelatedWork W2036901448 @default.
- W2578803399 hasRelatedWork W2084402060 @default.
- W2578803399 hasRelatedWork W2127982853 @default.
- W2578803399 hasRelatedWork W2187146166 @default.
- W2578803399 hasRelatedWork W2296736231 @default.
- W2578803399 hasRelatedWork W2401717475 @default.
- W2578803399 hasRelatedWork W2403056545 @default.
- W2578803399 hasRelatedWork W2407696767 @default.
- W2578803399 hasRelatedWork W2493091936 @default.
- W2578803399 hasRelatedWork W2579265575 @default.
- W2578803399 hasRelatedWork W2945179780 @default.
- W2578803399 hasRelatedWork W2949458057 @default.
- W2578803399 hasRelatedWork W2951784580 @default.
- W2578803399 hasRelatedWork W2954419053 @default.
- W2578803399 hasRelatedWork W2963321374 @default.
- W2578803399 hasRelatedWork W3028147070 @default.
- W2578803399 hasRelatedWork W3080114817 @default.
- W2578803399 hasRelatedWork W3102833318 @default.
- W2578803399 hasRelatedWork W3128157644 @default.
- W2578803399 hasRelatedWork W99748905 @default.
- W2578803399 hasVolume "23" @default.
- W2578803399 isParatext "false" @default.
- W2578803399 isRetracted "false" @default.
- W2578803399 magId "2578803399" @default.
- W2578803399 workType "article" @default.