Matches in SemOpenAlex for { <https://semopenalex.org/work/W2954780420> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2954780420 abstract "For quantified Boolean formulas (QBF), a resolution system with a symmetry rule was recently introduced by Kauers and Seidl (Inf. Process. Lett. 2018). In this system, many formulas hard for QBF resolution admit short proofs." @default.
- W2954780420 created "2019-07-12" @default.
- W2954780420 creator A5042128349 @default.
- W2954780420 creator A5048382806 @default.
- W2954780420 date "2019-01-01" @default.
- W2954780420 modified "2023-09-27" @default.
- W2954780420 title "Proof Complexity of QBF Symmetry Recomputation" @default.
- W2954780420 cites W1488842140 @default.
- W2954780420 cites W1976876676 @default.
- W2954780420 cites W1988083342 @default.
- W2954780420 cites W1999522767 @default.
- W2954780420 cites W2011388930 @default.
- W2954780420 cites W2059644853 @default.
- W2954780420 cites W2121015471 @default.
- W2954780420 cites W2130088495 @default.
- W2954780420 cites W2137289237 @default.
- W2954780420 cites W2171790376 @default.
- W2954780420 cites W2309239751 @default.
- W2954780420 cites W2499282942 @default.
- W2954780420 cites W25993968 @default.
- W2954780420 cites W2600686309 @default.
- W2954780420 cites W2730075656 @default.
- W2954780420 cites W2905990799 @default.
- W2954780420 cites W2962699431 @default.
- W2954780420 cites W2963104944 @default.
- W2954780420 cites W3102833318 @default.
- W2954780420 doi "https://doi.org/10.1007/978-3-030-24258-9_3" @default.
- W2954780420 hasPublicationYear "2019" @default.
- W2954780420 type Work @default.
- W2954780420 sameAs 2954780420 @default.
- W2954780420 citedByCount "3" @default.
- W2954780420 countsByYear W29547804202020 @default.
- W2954780420 countsByYear W29547804202021 @default.
- W2954780420 crossrefType "book-chapter" @default.
- W2954780420 hasAuthorship W2954780420A5042128349 @default.
- W2954780420 hasAuthorship W2954780420A5048382806 @default.
- W2954780420 hasConcept C108710211 @default.
- W2954780420 hasConcept C11413529 @default.
- W2954780420 hasConcept C118615104 @default.
- W2954780420 hasConcept C138268822 @default.
- W2954780420 hasConcept C199343813 @default.
- W2954780420 hasConcept C199360897 @default.
- W2954780420 hasConcept C200415742 @default.
- W2954780420 hasConcept C2524010 @default.
- W2954780420 hasConcept C2777686260 @default.
- W2954780420 hasConcept C2779886137 @default.
- W2954780420 hasConcept C33923547 @default.
- W2954780420 hasConcept C41008148 @default.
- W2954780420 hasConcept C71924100 @default.
- W2954780420 hasConceptScore W2954780420C108710211 @default.
- W2954780420 hasConceptScore W2954780420C11413529 @default.
- W2954780420 hasConceptScore W2954780420C118615104 @default.
- W2954780420 hasConceptScore W2954780420C138268822 @default.
- W2954780420 hasConceptScore W2954780420C199343813 @default.
- W2954780420 hasConceptScore W2954780420C199360897 @default.
- W2954780420 hasConceptScore W2954780420C200415742 @default.
- W2954780420 hasConceptScore W2954780420C2524010 @default.
- W2954780420 hasConceptScore W2954780420C2777686260 @default.
- W2954780420 hasConceptScore W2954780420C2779886137 @default.
- W2954780420 hasConceptScore W2954780420C33923547 @default.
- W2954780420 hasConceptScore W2954780420C41008148 @default.
- W2954780420 hasConceptScore W2954780420C71924100 @default.
- W2954780420 hasLocation W29547804201 @default.
- W2954780420 hasOpenAccess W2954780420 @default.
- W2954780420 hasPrimaryLocation W29547804201 @default.
- W2954780420 hasRelatedWork W1438958698 @default.
- W2954780420 hasRelatedWork W1484594398 @default.
- W2954780420 hasRelatedWork W2005599008 @default.
- W2954780420 hasRelatedWork W2142612879 @default.
- W2954780420 hasRelatedWork W2153912760 @default.
- W2954780420 hasRelatedWork W2407696767 @default.
- W2954780420 hasRelatedWork W25993968 @default.
- W2954780420 hasRelatedWork W2954780420 @default.
- W2954780420 hasRelatedWork W2972754151 @default.
- W2954780420 hasRelatedWork W860315492 @default.
- W2954780420 isParatext "false" @default.
- W2954780420 isRetracted "false" @default.
- W2954780420 magId "2954780420" @default.
- W2954780420 workType "book-chapter" @default.