Matches in SemOpenAlex for { <https://semopenalex.org/work/W44982509> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W44982509 abstract "Inspired by the Maximum Satisfiability and Exact Satisfiability problems we present two Maximum Exact Satisfiability problems. The first problem called Maximum Exact Satisfiability is: given a formula in conjunctive normal form and an integer k, is there an assignment to all variables in the formula such that at least k clauses have exactly one true literal. The second problem called Restricted Maximum Exact Satisfiability has the further restriction that no clause is allowed to have more than one true literal. Both problems are proved NP-complete restricted to the versions where each clause contains at most two literals. In fact Maximum Exact Satisfiability is a generalisation of the well-known NP-complete problem MaxCut. We present an exact algorithm for Maximum Exact Satisfiability where each clause contains at most two literals with time complexity O(poly(L) . 2^{m/4}), where m is the number of clauses and L is the length of the formula. For the second version we give an algorithm with time complexity O(poly(L) . 1.324718^n) , where n is the number of variables. We note that when restricted to the versions where each clause contains exactly two literals and there are no negations both problems are fixed parameter tractable. It is an open question if this is also the case for the general problems." @default.
- W44982509 created "2016-06-24" @default.
- W44982509 creator A5051534255 @default.
- W44982509 creator A5062653045 @default.
- W44982509 date "2004-10-11" @default.
- W44982509 modified "2023-10-16" @default.
- W44982509 title "Maximum Exact Satisfiability: NP-completeness Proofs and Exact Algorithms" @default.
- W44982509 cites W1514793018 @default.
- W44982509 cites W1896404939 @default.
- W44982509 cites W2000579976 @default.
- W44982509 cites W2006933117 @default.
- W44982509 cites W2030087828 @default.
- W44982509 cites W2038225707 @default.
- W44982509 cites W2043997666 @default.
- W44982509 cites W2061513598 @default.
- W44982509 cites W2073025989 @default.
- W44982509 cites W2084732238 @default.
- W44982509 cites W2089328544 @default.
- W44982509 cites W2166566648 @default.
- W44982509 cites W2401610261 @default.
- W44982509 cites W2687954006 @default.
- W44982509 doi "https://doi.org/10.7146/brics.v11i19.21844" @default.
- W44982509 hasPublicationYear "2004" @default.
- W44982509 type Work @default.
- W44982509 sameAs 44982509 @default.
- W44982509 citedByCount "6" @default.
- W44982509 countsByYear W449825092017 @default.
- W44982509 crossrefType "journal-article" @default.
- W44982509 hasAuthorship W44982509A5051534255 @default.
- W44982509 hasAuthorship W44982509A5062653045 @default.
- W44982509 hasBestOaLocation W449825091 @default.
- W44982509 hasConcept C108710211 @default.
- W44982509 hasConcept C111797529 @default.
- W44982509 hasConcept C11413529 @default.
- W44982509 hasConcept C114614502 @default.
- W44982509 hasConcept C118615104 @default.
- W44982509 hasConcept C134306372 @default.
- W44982509 hasConcept C16221470 @default.
- W44982509 hasConcept C168773769 @default.
- W44982509 hasConcept C17231256 @default.
- W44982509 hasConcept C187455244 @default.
- W44982509 hasConcept C200415742 @default.
- W44982509 hasConcept C2524010 @default.
- W44982509 hasConcept C2780882242 @default.
- W44982509 hasConcept C311688 @default.
- W44982509 hasConcept C33923547 @default.
- W44982509 hasConcept C6943359 @default.
- W44982509 hasConceptScore W44982509C108710211 @default.
- W44982509 hasConceptScore W44982509C111797529 @default.
- W44982509 hasConceptScore W44982509C11413529 @default.
- W44982509 hasConceptScore W44982509C114614502 @default.
- W44982509 hasConceptScore W44982509C118615104 @default.
- W44982509 hasConceptScore W44982509C134306372 @default.
- W44982509 hasConceptScore W44982509C16221470 @default.
- W44982509 hasConceptScore W44982509C168773769 @default.
- W44982509 hasConceptScore W44982509C17231256 @default.
- W44982509 hasConceptScore W44982509C187455244 @default.
- W44982509 hasConceptScore W44982509C200415742 @default.
- W44982509 hasConceptScore W44982509C2524010 @default.
- W44982509 hasConceptScore W44982509C2780882242 @default.
- W44982509 hasConceptScore W44982509C311688 @default.
- W44982509 hasConceptScore W44982509C33923547 @default.
- W44982509 hasConceptScore W44982509C6943359 @default.
- W44982509 hasIssue "19" @default.
- W44982509 hasLocation W449825091 @default.
- W44982509 hasLocation W449825092 @default.
- W44982509 hasOpenAccess W44982509 @default.
- W44982509 hasPrimaryLocation W449825091 @default.
- W44982509 hasRelatedWork W1540360785 @default.
- W44982509 hasRelatedWork W1965913970 @default.
- W44982509 hasRelatedWork W1971464806 @default.
- W44982509 hasRelatedWork W2067983896 @default.
- W44982509 hasRelatedWork W2126331452 @default.
- W44982509 hasRelatedWork W21453999 @default.
- W44982509 hasRelatedWork W264823163 @default.
- W44982509 hasRelatedWork W2981948274 @default.
- W44982509 hasRelatedWork W44982509 @default.
- W44982509 hasRelatedWork W59759164 @default.
- W44982509 hasVolume "11" @default.
- W44982509 isParatext "false" @default.
- W44982509 isRetracted "false" @default.
- W44982509 magId "44982509" @default.
- W44982509 workType "article" @default.