Matches in SemOpenAlex for { <https://semopenalex.org/work/W2024260528> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2024260528 endingPage "1209" @default.
- W2024260528 startingPage "1205" @default.
- W2024260528 abstract "We address lower bounds on the time complexity of algorithms solving the propositional satisfiability problem. Namely, we consider two DPLL-type algorithms, enhanced with the unit clause and pure literal heuristics. Exponential lower bounds for solving satisfiability on provably satisfiable formulas are proven. Bibliography: 11 titles." @default.
- W2024260528 created "2016-06-24" @default.
- W2024260528 creator A5045523675 @default.
- W2024260528 date "2005-03-01" @default.
- W2024260528 modified "2023-09-26" @default.
- W2024260528 title "Hard satisfiable instances for DPLL-type algorithms" @default.
- W2024260528 cites W1500660230 @default.
- W2024260528 cites W1564428908 @default.
- W2024260528 cites W2054387247 @default.
- W2024260528 cites W2057361103 @default.
- W2024260528 cites W2062897452 @default.
- W2024260528 cites W2070017679 @default.
- W2024260528 cites W2098022011 @default.
- W2024260528 cites W2143404729 @default.
- W2024260528 doi "https://doi.org/10.1007/s10958-005-0105-3" @default.
- W2024260528 hasPublicationYear "2005" @default.
- W2024260528 type Work @default.
- W2024260528 sameAs 2024260528 @default.
- W2024260528 citedByCount "3" @default.
- W2024260528 crossrefType "journal-article" @default.
- W2024260528 hasAuthorship W2024260528A5045523675 @default.
- W2024260528 hasBestOaLocation W20242605281 @default.
- W2024260528 hasConcept C11413529 @default.
- W2024260528 hasConcept C118615104 @default.
- W2024260528 hasConcept C126255220 @default.
- W2024260528 hasConcept C12707504 @default.
- W2024260528 hasConcept C127705205 @default.
- W2024260528 hasConcept C134652429 @default.
- W2024260528 hasConcept C138268822 @default.
- W2024260528 hasConcept C143936061 @default.
- W2024260528 hasConcept C168773769 @default.
- W2024260528 hasConcept C173801870 @default.
- W2024260528 hasConcept C18903297 @default.
- W2024260528 hasConcept C199360897 @default.
- W2024260528 hasConcept C2777299769 @default.
- W2024260528 hasConcept C2780882242 @default.
- W2024260528 hasConcept C33923547 @default.
- W2024260528 hasConcept C41008148 @default.
- W2024260528 hasConcept C76155785 @default.
- W2024260528 hasConcept C86803240 @default.
- W2024260528 hasConceptScore W2024260528C11413529 @default.
- W2024260528 hasConceptScore W2024260528C118615104 @default.
- W2024260528 hasConceptScore W2024260528C126255220 @default.
- W2024260528 hasConceptScore W2024260528C12707504 @default.
- W2024260528 hasConceptScore W2024260528C127705205 @default.
- W2024260528 hasConceptScore W2024260528C134652429 @default.
- W2024260528 hasConceptScore W2024260528C138268822 @default.
- W2024260528 hasConceptScore W2024260528C143936061 @default.
- W2024260528 hasConceptScore W2024260528C168773769 @default.
- W2024260528 hasConceptScore W2024260528C173801870 @default.
- W2024260528 hasConceptScore W2024260528C18903297 @default.
- W2024260528 hasConceptScore W2024260528C199360897 @default.
- W2024260528 hasConceptScore W2024260528C2777299769 @default.
- W2024260528 hasConceptScore W2024260528C2780882242 @default.
- W2024260528 hasConceptScore W2024260528C33923547 @default.
- W2024260528 hasConceptScore W2024260528C41008148 @default.
- W2024260528 hasConceptScore W2024260528C76155785 @default.
- W2024260528 hasConceptScore W2024260528C86803240 @default.
- W2024260528 hasIssue "3" @default.
- W2024260528 hasLocation W20242605281 @default.
- W2024260528 hasOpenAccess W2024260528 @default.
- W2024260528 hasPrimaryLocation W20242605281 @default.
- W2024260528 hasRelatedWork W106113177 @default.
- W2024260528 hasRelatedWork W1583139177 @default.
- W2024260528 hasRelatedWork W1963913579 @default.
- W2024260528 hasRelatedWork W2007316622 @default.
- W2024260528 hasRelatedWork W2119777155 @default.
- W2024260528 hasRelatedWork W2407696767 @default.
- W2024260528 hasRelatedWork W2408711288 @default.
- W2024260528 hasRelatedWork W3097893064 @default.
- W2024260528 hasRelatedWork W45235819 @default.
- W2024260528 hasRelatedWork W2129250320 @default.
- W2024260528 hasVolume "126" @default.
- W2024260528 isParatext "false" @default.
- W2024260528 isRetracted "false" @default.
- W2024260528 magId "2024260528" @default.
- W2024260528 workType "article" @default.