Matches in SemOpenAlex for { <https://semopenalex.org/work/W34340600> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W34340600 endingPage "48" @default.
- W34340600 startingPage "37" @default.
- W34340600 abstract "We show how to check whether at least k clauses of an input formula in CNF can be satisfied in time O *(1.358 k ). This improves the bound O *(1.370 k ) proved by Chen and Kanj more than 10 years ago. Though the presented algorithm is based on standard splitting techniques its core are new simplification rules that often allow to reduce the size of case analysis. Our improvement is based on a simple algorithm for a special case of MAX-SAT where each variable appears at most 3 times." @default.
- W34340600 created "2016-06-24" @default.
- W34340600 creator A5062090877 @default.
- W34340600 creator A5064783288 @default.
- W34340600 date "2012-01-01" @default.
- W34340600 modified "2023-09-23" @default.
- W34340600 title "A New Algorithm for Parameterized MAX-SAT" @default.
- W34340600 cites W1514793018 @default.
- W34340600 cites W1784269369 @default.
- W34340600 cites W1896404939 @default.
- W34340600 cites W2005180798 @default.
- W34340600 cites W2006933117 @default.
- W34340600 cites W2029489766 @default.
- W34340600 cites W2070684734 @default.
- W34340600 cites W2118469858 @default.
- W34340600 cites W3137355438 @default.
- W34340600 cites W2009777252 @default.
- W34340600 doi "https://doi.org/10.1007/978-3-642-33293-7_6" @default.
- W34340600 hasPublicationYear "2012" @default.
- W34340600 type Work @default.
- W34340600 sameAs 34340600 @default.
- W34340600 citedByCount "15" @default.
- W34340600 countsByYear W343406002013 @default.
- W34340600 countsByYear W343406002014 @default.
- W34340600 countsByYear W343406002015 @default.
- W34340600 countsByYear W343406002016 @default.
- W34340600 countsByYear W343406002017 @default.
- W34340600 countsByYear W343406002018 @default.
- W34340600 countsByYear W343406002019 @default.
- W34340600 countsByYear W343406002020 @default.
- W34340600 countsByYear W343406002022 @default.
- W34340600 crossrefType "book-chapter" @default.
- W34340600 hasAuthorship W34340600A5062090877 @default.
- W34340600 hasAuthorship W34340600A5064783288 @default.
- W34340600 hasConcept C111472728 @default.
- W34340600 hasConcept C11413529 @default.
- W34340600 hasConcept C134306372 @default.
- W34340600 hasConcept C138885662 @default.
- W34340600 hasConcept C165464430 @default.
- W34340600 hasConcept C182365436 @default.
- W34340600 hasConcept C2780586882 @default.
- W34340600 hasConcept C33923547 @default.
- W34340600 hasConcept C41008148 @default.
- W34340600 hasConceptScore W34340600C111472728 @default.
- W34340600 hasConceptScore W34340600C11413529 @default.
- W34340600 hasConceptScore W34340600C134306372 @default.
- W34340600 hasConceptScore W34340600C138885662 @default.
- W34340600 hasConceptScore W34340600C165464430 @default.
- W34340600 hasConceptScore W34340600C182365436 @default.
- W34340600 hasConceptScore W34340600C2780586882 @default.
- W34340600 hasConceptScore W34340600C33923547 @default.
- W34340600 hasConceptScore W34340600C41008148 @default.
- W34340600 hasLocation W343406001 @default.
- W34340600 hasOpenAccess W34340600 @default.
- W34340600 hasPrimaryLocation W343406001 @default.
- W34340600 hasRelatedWork W1973679146 @default.
- W34340600 hasRelatedWork W2038803387 @default.
- W34340600 hasRelatedWork W2357085366 @default.
- W34340600 hasRelatedWork W2368259199 @default.
- W34340600 hasRelatedWork W247093543 @default.
- W34340600 hasRelatedWork W2537667430 @default.
- W34340600 hasRelatedWork W303980170 @default.
- W34340600 hasRelatedWork W4238075012 @default.
- W34340600 hasRelatedWork W4248389398 @default.
- W34340600 hasRelatedWork W2247596074 @default.
- W34340600 isParatext "false" @default.
- W34340600 isRetracted "false" @default.
- W34340600 magId "34340600" @default.
- W34340600 workType "book-chapter" @default.