FRINK Linked Data Fragments server

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

• W46203810 endingPage "228" @default.
• W46203810 startingPage "222" @default.
• W46203810 abstract "The search of a precise measure of what hardness of SAT instances means for state-of-the-art solvers is a relevant research question. Among others, the space complexity of treelike resolution (also called hardness), the minimal size of strong backdoors and of cycle-cutsets, and the treewidth can be used for this purpose.We propose the use of the tree-like space complexity as a solid candidate to be the best measure for solvers based on DPLL. To support this thesis we provide a comparison with the other mentioned measures. We also conduct an experimental investigation to show how the proposed measure characterizes the hardness of random and industrial instances." @default.
• W46203810 created "2016-06-24" @default.
• W46203810 creator A5022258975 @default.
• W46203810 creator A5027212883 @default.
• W46203810 creator A5039752849 @default.
• W46203810 creator A5061148416 @default.
• W46203810 date "2008-07-13" @default.
• W46203810 modified "2023-09-24" @default.
• W46203810 title "Measuring the hardness of SAT instances" @default.
• W46203810 cites W1521053613 @default.
• W46203810 cites W1537186801 @default.
• W46203810 cites W1556434751 @default.
• W46203810 cites W1709155369 @default.
• W46203810 cites W190017059 @default.
• W46203810 cites W1974070050 @default.
• W46203810 cites W1978701879 @default.
• W46203810 cites W1993284672 @default.
• W46203810 cites W1998113645 @default.
• W46203810 cites W1999038767 @default.
• W46203810 cites W2008913431 @default.
• W46203810 cites W2034674470 @default.
• W46203810 cites W203718333 @default.
• W46203810 cites W2061783009 @default.
• W46203810 cites W2064972007 @default.
• W46203810 cites W2071347463 @default.
• W46203810 cites W2097113315 @default.
• W46203810 cites W2171790376 @default.
• W46203810 cites W2404895391 @default.
• W46203810 cites W285322218 @default.
• W46203810 cites W30044362 @default.
• W46203810 hasPublicationYear "2008" @default.
• W46203810 type Work @default.
• W46203810 sameAs 46203810 @default.
• W46203810 citedByCount "22" @default.
• W46203810 countsByYear W462038102012 @default.
• W46203810 countsByYear W462038102013 @default.
• W46203810 countsByYear W462038102014 @default.
• W46203810 countsByYear W462038102015 @default.
• W46203810 countsByYear W462038102016 @default.
• W46203810 countsByYear W462038102017 @default.
• W46203810 countsByYear W462038102018 @default.
• W46203810 countsByYear W462038102019 @default.
• W46203810 countsByYear W462038102021 @default.
• W46203810 crossrefType "proceedings-article" @default.
• W46203810 hasAuthorship W46203810A5022258975 @default.
• W46203810 hasAuthorship W46203810A5027212883 @default.
• W46203810 hasAuthorship W46203810A5039752849 @default.
• W46203810 hasAuthorship W46203810A5061148416 @default.
• W46203810 hasConcept C111919701 @default.
• W46203810 hasConcept C113174947 @default.
• W46203810 hasConcept C11413529 @default.
• W46203810 hasConcept C114614502 @default.
• W46203810 hasConcept C124101348 @default.
• W46203810 hasConcept C12707504 @default.
• W46203810 hasConcept C132525143 @default.
• W46203810 hasConcept C132569581 @default.
• W46203810 hasConcept C134652429 @default.
• W46203810 hasConcept C143936061 @default.
• W46203810 hasConcept C203776342 @default.
• W46203810 hasConcept C2778572836 @default.
• W46203810 hasConcept C2780009758 @default.
• W46203810 hasConcept C33923547 @default.
• W46203810 hasConcept C41008148 @default.
• W46203810 hasConcept C43517604 @default.
• W46203810 hasConcept C76155785 @default.
• W46203810 hasConcept C80444323 @default.
• W46203810 hasConceptScore W46203810C111919701 @default.
• W46203810 hasConceptScore W46203810C113174947 @default.
• W46203810 hasConceptScore W46203810C11413529 @default.
• W46203810 hasConceptScore W46203810C114614502 @default.
• W46203810 hasConceptScore W46203810C124101348 @default.
• W46203810 hasConceptScore W46203810C12707504 @default.
• W46203810 hasConceptScore W46203810C132525143 @default.
• W46203810 hasConceptScore W46203810C132569581 @default.
• W46203810 hasConceptScore W46203810C134652429 @default.
• W46203810 hasConceptScore W46203810C143936061 @default.
• W46203810 hasConceptScore W46203810C203776342 @default.
• W46203810 hasConceptScore W46203810C2778572836 @default.
• W46203810 hasConceptScore W46203810C2780009758 @default.
• W46203810 hasConceptScore W46203810C33923547 @default.
• W46203810 hasConceptScore W46203810C41008148 @default.
• W46203810 hasConceptScore W46203810C43517604 @default.
• W46203810 hasConceptScore W46203810C76155785 @default.
• W46203810 hasConceptScore W46203810C80444323 @default.
• W46203810 hasLocation W462038101 @default.
• W46203810 hasOpenAccess W46203810 @default.
• W46203810 hasPrimaryLocation W462038101 @default.
• W46203810 hasRelatedWork W1492641605 @default.
• W46203810 hasRelatedWork W1504884225 @default.
• W46203810 hasRelatedWork W153834087 @default.
• W46203810 hasRelatedWork W1547258182 @default.
• W46203810 hasRelatedWork W1591679289 @default.
• W46203810 hasRelatedWork W1858694994 @default.
• W46203810 hasRelatedWork W1974010251 @default.
• W46203810 hasRelatedWork W2057361103 @default.
• W46203810 hasRelatedWork W2061783009 @default.
• W46203810 hasRelatedWork W2071347463 @default.
• W46203810 hasRelatedWork W2084384424 @default.

• next