Matches in SemOpenAlex for { <https://semopenalex.org/work/W2001776351> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2001776351 endingPage "401" @default.
- W2001776351 startingPage "388" @default.
- W2001776351 abstract "In MaxSat, we ask for an assignment to the variables which satisfies the maximum number of clauses for a boolean formula in CNF. We present an algorithm yielding a run time upper bound of O⁎(2K6.265) for Max-2-Sat (each clause contains at most 2 literals), where K is the number of clauses. The run time has been achieved by using heuristic priorities on the choice of the variable on which we branch. The implementation of these heuristic priorities is rather simple, though they have a significant effect on the run time. The analysis uses a non-standard measure.1" @default.
- W2001776351 created "2016-06-24" @default.
- W2001776351 creator A5015688812 @default.
- W2001776351 creator A5084871383 @default.
- W2001776351 date "2010-12-01" @default.
- W2001776351 modified "2023-09-29" @default.
- W2001776351 title "A new upper bound for Max-2-SAT: A graph-theoretic approach" @default.
- W2001776351 cites W1987470888 @default.
- W2001776351 cites W2001564241 @default.
- W2001776351 cites W2010651583 @default.
- W2001776351 cites W2036185701 @default.
- W2001776351 cites W2084732238 @default.
- W2001776351 cites W2089718638 @default.
- W2001776351 cites W2140138589 @default.
- W2001776351 cites W2154474334 @default.
- W2001776351 doi "https://doi.org/10.1016/j.jda.2010.06.001" @default.
- W2001776351 hasPublicationYear "2010" @default.
- W2001776351 type Work @default.
- W2001776351 sameAs 2001776351 @default.
- W2001776351 citedByCount "7" @default.
- W2001776351 countsByYear W20017763512014 @default.
- W2001776351 countsByYear W20017763512015 @default.
- W2001776351 countsByYear W20017763512017 @default.
- W2001776351 crossrefType "journal-article" @default.
- W2001776351 hasAuthorship W2001776351A5015688812 @default.
- W2001776351 hasAuthorship W2001776351A5084871383 @default.
- W2001776351 hasBestOaLocation W20017763511 @default.
- W2001776351 hasConcept C111472728 @default.
- W2001776351 hasConcept C111797529 @default.
- W2001776351 hasConcept C11413529 @default.
- W2001776351 hasConcept C114614502 @default.
- W2001776351 hasConcept C118615104 @default.
- W2001776351 hasConcept C126255220 @default.
- W2001776351 hasConcept C132525143 @default.
- W2001776351 hasConcept C134306372 @default.
- W2001776351 hasConcept C138885662 @default.
- W2001776351 hasConcept C16221470 @default.
- W2001776351 hasConcept C173801870 @default.
- W2001776351 hasConcept C182365436 @default.
- W2001776351 hasConcept C187455244 @default.
- W2001776351 hasConcept C200415742 @default.
- W2001776351 hasConcept C2780009758 @default.
- W2001776351 hasConcept C2780586882 @default.
- W2001776351 hasConcept C3017489831 @default.
- W2001776351 hasConcept C33923547 @default.
- W2001776351 hasConcept C41008148 @default.
- W2001776351 hasConcept C6943359 @default.
- W2001776351 hasConcept C77088390 @default.
- W2001776351 hasConcept C77553402 @default.
- W2001776351 hasConceptScore W2001776351C111472728 @default.
- W2001776351 hasConceptScore W2001776351C111797529 @default.
- W2001776351 hasConceptScore W2001776351C11413529 @default.
- W2001776351 hasConceptScore W2001776351C114614502 @default.
- W2001776351 hasConceptScore W2001776351C118615104 @default.
- W2001776351 hasConceptScore W2001776351C126255220 @default.
- W2001776351 hasConceptScore W2001776351C132525143 @default.
- W2001776351 hasConceptScore W2001776351C134306372 @default.
- W2001776351 hasConceptScore W2001776351C138885662 @default.
- W2001776351 hasConceptScore W2001776351C16221470 @default.
- W2001776351 hasConceptScore W2001776351C173801870 @default.
- W2001776351 hasConceptScore W2001776351C182365436 @default.
- W2001776351 hasConceptScore W2001776351C187455244 @default.
- W2001776351 hasConceptScore W2001776351C200415742 @default.
- W2001776351 hasConceptScore W2001776351C2780009758 @default.
- W2001776351 hasConceptScore W2001776351C2780586882 @default.
- W2001776351 hasConceptScore W2001776351C3017489831 @default.
- W2001776351 hasConceptScore W2001776351C33923547 @default.
- W2001776351 hasConceptScore W2001776351C41008148 @default.
- W2001776351 hasConceptScore W2001776351C6943359 @default.
- W2001776351 hasConceptScore W2001776351C77088390 @default.
- W2001776351 hasConceptScore W2001776351C77553402 @default.
- W2001776351 hasIssue "4" @default.
- W2001776351 hasLocation W20017763511 @default.
- W2001776351 hasLocation W20017763512 @default.
- W2001776351 hasLocation W20017763513 @default.
- W2001776351 hasOpenAccess W2001776351 @default.
- W2001776351 hasPrimaryLocation W20017763511 @default.
- W2001776351 hasRelatedWork W1608133301 @default.
- W2001776351 hasRelatedWork W1971161545 @default.
- W2001776351 hasRelatedWork W2001776351 @default.
- W2001776351 hasRelatedWork W2067983896 @default.
- W2001776351 hasRelatedWork W2085904272 @default.
- W2001776351 hasRelatedWork W2154474334 @default.
- W2001776351 hasRelatedWork W2787006615 @default.
- W2001776351 hasRelatedWork W2981948274 @default.
- W2001776351 hasRelatedWork W44982509 @default.
- W2001776351 hasRelatedWork W59759164 @default.
- W2001776351 hasVolume "8" @default.
- W2001776351 isParatext "false" @default.
- W2001776351 isRetracted "false" @default.
- W2001776351 magId "2001776351" @default.
- W2001776351 workType "article" @default.