Matches in SemOpenAlex for { <https://semopenalex.org/work/W2296658079> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2296658079 abstract "The study of the worst-case complexity of the Boolean Satisfiability (SAT) problem has seen considerable progress in recent years, for various types of instances including CNFs, Boolean formulas and constant-depth circuits. We systematically investigate the complexity of solving mixed instances, where different parts of the instance come from different types. Our investigation is motivated partly by practical contexts such as SMT (Satisfiability Modulo Theories) solving, and partly by theoretical issues such as the exact complexity of graph problems and the desire to find a unifying framework for known satisfiability algorithms." @default.
- W2296658079 created "2016-06-24" @default.
- W2296658079 creator A5082582375 @default.
- W2296658079 creator A5085864294 @default.
- W2296658079 date "2016-01-14" @default.
- W2296658079 modified "2023-09-25" @default.
- W2296658079 title "Satisfiability on Mixed Instances" @default.
- W2296658079 cites W1968262650 @default.
- W2296658079 cites W1974632918 @default.
- W2296658079 cites W1995725694 @default.
- W2296658079 cites W1999396796 @default.
- W2296658079 cites W2007121506 @default.
- W2296658079 cites W2022846948 @default.
- W2296658079 cites W2028357390 @default.
- W2296658079 cites W2030586582 @default.
- W2296658079 cites W2049136377 @default.
- W2296658079 cites W2055097525 @default.
- W2296658079 cites W2067983896 @default.
- W2296658079 cites W2102477571 @default.
- W2296658079 cites W2106793914 @default.
- W2296658079 cites W2126442135 @default.
- W2296658079 cites W2159892713 @default.
- W2296658079 cites W2165293955 @default.
- W2296658079 cites W2235115558 @default.
- W2296658079 cites W2499688774 @default.
- W2296658079 doi "https://doi.org/10.1145/2840728.2840768" @default.
- W2296658079 hasPublicationYear "2016" @default.
- W2296658079 type Work @default.
- W2296658079 sameAs 2296658079 @default.
- W2296658079 citedByCount "3" @default.
- W2296658079 countsByYear W22966580792021 @default.
- W2296658079 countsByYear W22966580792022 @default.
- W2296658079 crossrefType "proceedings-article" @default.
- W2296658079 hasAuthorship W2296658079A5082582375 @default.
- W2296658079 hasAuthorship W2296658079A5085864294 @default.
- W2296658079 hasBestOaLocation W22966580792 @default.
- W2296658079 hasConcept C111797529 @default.
- W2296658079 hasConcept C11413529 @default.
- W2296658079 hasConcept C118615104 @default.
- W2296658079 hasConcept C141796577 @default.
- W2296658079 hasConcept C164155591 @default.
- W2296658079 hasConcept C168773769 @default.
- W2296658079 hasConcept C187455244 @default.
- W2296658079 hasConcept C33923547 @default.
- W2296658079 hasConcept C41008148 @default.
- W2296658079 hasConcept C54732982 @default.
- W2296658079 hasConcept C6943359 @default.
- W2296658079 hasConcept C80444323 @default.
- W2296658079 hasConceptScore W2296658079C111797529 @default.
- W2296658079 hasConceptScore W2296658079C11413529 @default.
- W2296658079 hasConceptScore W2296658079C118615104 @default.
- W2296658079 hasConceptScore W2296658079C141796577 @default.
- W2296658079 hasConceptScore W2296658079C164155591 @default.
- W2296658079 hasConceptScore W2296658079C168773769 @default.
- W2296658079 hasConceptScore W2296658079C187455244 @default.
- W2296658079 hasConceptScore W2296658079C33923547 @default.
- W2296658079 hasConceptScore W2296658079C41008148 @default.
- W2296658079 hasConceptScore W2296658079C54732982 @default.
- W2296658079 hasConceptScore W2296658079C6943359 @default.
- W2296658079 hasConceptScore W2296658079C80444323 @default.
- W2296658079 hasLocation W22966580791 @default.
- W2296658079 hasLocation W22966580792 @default.
- W2296658079 hasOpenAccess W2296658079 @default.
- W2296658079 hasPrimaryLocation W22966580791 @default.
- W2296658079 hasRelatedWork W1518211069 @default.
- W2296658079 hasRelatedWork W2101101130 @default.
- W2296658079 hasRelatedWork W21453999 @default.
- W2296658079 hasRelatedWork W2150520488 @default.
- W2296658079 hasRelatedWork W2166827623 @default.
- W2296658079 hasRelatedWork W2558119813 @default.
- W2296658079 hasRelatedWork W2810353660 @default.
- W2296658079 hasRelatedWork W4232849533 @default.
- W2296658079 hasRelatedWork W64805845 @default.
- W2296658079 hasRelatedWork W83935621 @default.
- W2296658079 isParatext "false" @default.
- W2296658079 isRetracted "false" @default.
- W2296658079 magId "2296658079" @default.
- W2296658079 workType "article" @default.