FRINK Linked Data Fragments server

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

• W1963246346 endingPage "187" @default.
• W1963246346 startingPage "170" @default.
• W1963246346 abstract "Various “hardness” measures have been studied for resolution, providing theoretical insight into the proof complexity of resolution and its fragments, as well as explanations for the hardness of instances in SAT solving. In this paper we aim at a unified view of a number of hardness measures, including different measures of width, space and size of resolution proofs. Our main contribution is a unified game-theoretic characterisation of these measures. As consequences we obtain new relations between the different hardness measures. In particular, we prove a generalised version of Atserias and Dalmau’s result on the relation between resolution width and space from [5]." @default.
• W1963246346 created "2016-06-24" @default.
• W1963246346 creator A5042128349 @default.
• W1963246346 creator A5073035961 @default.
• W1963246346 date "2014-01-01" @default.
• W1963246346 modified "2023-10-11" @default.
• W1963246346 title "Unified Characterisations of Resolution Hardness Measures" @default.
• W1963246346 cites W138648951 @default.
• W1963246346 cites W1504884225 @default.
• W1963246346 cites W1527970434 @default.
• W1963246346 cites W1537186801 @default.
• W1963246346 cites W1569195974 @default.
• W1963246346 cites W1591679289 @default.
• W1963246346 cites W1904183950 @default.
• W1963246346 cites W1974010251 @default.
• W1963246346 cites W1990362734 @default.
• W1963246346 cites W1990932978 @default.
• W1963246346 cites W1998430462 @default.
• W1963246346 cites W2021870295 @default.
• W1963246346 cites W2038777323 @default.
• W1963246346 cites W2044632231 @default.
• W1963246346 cites W2045690379 @default.
• W1963246346 cites W2061783009 @default.
• W1963246346 cites W2062671967 @default.
• W1963246346 cites W2066749637 @default.
• W1963246346 cites W2067510740 @default.
• W1963246346 cites W2068277524 @default.
• W1963246346 cites W2069767473 @default.
• W1963246346 cites W2071347463 @default.
• W1963246346 cites W2074834475 @default.
• W1963246346 cites W2082780921 @default.
• W1963246346 cites W2083975113 @default.
• W1963246346 cites W2084384424 @default.
• W1963246346 cites W2093224650 @default.
• W1963246346 cites W2103193591 @default.
• W1963246346 cites W2105738025 @default.
• W1963246346 cites W2122782108 @default.
• W1963246346 cites W2129413084 @default.
• W1963246346 cites W2132489129 @default.
• W1963246346 cites W2134253979 @default.
• W1963246346 cites W2140883677 @default.
• W1963246346 cites W2149719182 @default.
• W1963246346 cites W2913099459 @default.
• W1963246346 cites W2913257024 @default.
• W1963246346 cites W2915635474 @default.
• W1963246346 cites W3037814438 @default.
• W1963246346 cites W3099325101 @default.
• W1963246346 cites W3101351575 @default.
• W1963246346 cites W3104714466 @default.
• W1963246346 cites W53965781 @default.
• W1963246346 cites W59346742 @default.
• W1963246346 doi "https://doi.org/10.1007/978-3-319-09284-3_13" @default.
• W1963246346 hasPublicationYear "2014" @default.
• W1963246346 type Work @default.
• W1963246346 sameAs 1963246346 @default.
• W1963246346 citedByCount "7" @default.
• W1963246346 countsByYear W19632463462013 @default.
• W1963246346 countsByYear W19632463462014 @default.
• W1963246346 countsByYear W19632463462015 @default.
• W1963246346 countsByYear W19632463462016 @default.
• W1963246346 countsByYear W19632463462017 @default.
• W1963246346 countsByYear W19632463462020 @default.
• W1963246346 crossrefType "book-chapter" @default.
• W1963246346 hasAuthorship W1963246346A5042128349 @default.
• W1963246346 hasAuthorship W1963246346A5073035961 @default.
• W1963246346 hasBestOaLocation W19632463462 @default.
• W1963246346 hasConcept C105605280 @default.
• W1963246346 hasConcept C108710211 @default.
• W1963246346 hasConcept C111919701 @default.
• W1963246346 hasConcept C11413529 @default.
• W1963246346 hasConcept C124101348 @default.
• W1963246346 hasConcept C138268822 @default.
• W1963246346 hasConcept C154945302 @default.
• W1963246346 hasConcept C2524010 @default.
• W1963246346 hasConcept C25343380 @default.
• W1963246346 hasConcept C2778572836 @default.
• W1963246346 hasConcept C33923547 @default.
• W1963246346 hasConcept C41008148 @default.
• W1963246346 hasConceptScore W1963246346C105605280 @default.
• W1963246346 hasConceptScore W1963246346C108710211 @default.
• W1963246346 hasConceptScore W1963246346C111919701 @default.
• W1963246346 hasConceptScore W1963246346C11413529 @default.
• W1963246346 hasConceptScore W1963246346C124101348 @default.
• W1963246346 hasConceptScore W1963246346C138268822 @default.
• W1963246346 hasConceptScore W1963246346C154945302 @default.
• W1963246346 hasConceptScore W1963246346C2524010 @default.
• W1963246346 hasConceptScore W1963246346C25343380 @default.
• W1963246346 hasConceptScore W1963246346C2778572836 @default.
• W1963246346 hasConceptScore W1963246346C33923547 @default.
• W1963246346 hasConceptScore W1963246346C41008148 @default.
• W1963246346 hasLocation W19632463461 @default.
• W1963246346 hasLocation W19632463462 @default.
• W1963246346 hasLocation W19632463463 @default.
• W1963246346 hasLocation W19632463464 @default.
• W1963246346 hasOpenAccess W1963246346 @default.
• W1963246346 hasPrimaryLocation W19632463461 @default.
• W1963246346 hasRelatedWork W1262446233 @default.
• W1963246346 hasRelatedWork W1618870210 @default.

• next