Matches in SemOpenAlex for { <https://semopenalex.org/work/W4285602010> ?p ?o ?g. }
Showing items 1 to 49 of
49
with 100 items per page.
- W4285602010 abstract "In the maximum satisfiability problem (MaxSAT), given a CNF formula with m clauses and n variables, we are asked to find an assignment of the variables to satisfy the maximum number of clauses. Chen and Kanj showed that this problem can be solved in O*(1.3248^m) time (DAM 2004) and the running time bound was improved to O*(1.2989^m) by Xu et al. (IJCAI 2019). In this paper, we further improve the result to O*(1.2886^m). By using some new reduction and branching techniques we can avoid several bottlenecks in previous algorithms and get the improvement on this important problem." @default.
- W4285602010 created "2022-07-16" @default.
- W4285602010 creator A5033729619 @default.
- W4285602010 date "2022-07-01" @default.
- W4285602010 modified "2023-10-15" @default.
- W4285602010 title "An Exact MaxSAT Algorithm: Further Observations and Further Improvements" @default.
- W4285602010 doi "https://doi.org/10.24963/ijcai.2022/259" @default.
- W4285602010 hasPublicationYear "2022" @default.
- W4285602010 type Work @default.
- W4285602010 citedByCount "0" @default.
- W4285602010 crossrefType "proceedings-article" @default.
- W4285602010 hasAuthorship W4285602010A5033729619 @default.
- W4285602010 hasBestOaLocation W42856020101 @default.
- W4285602010 hasConcept C111335779 @default.
- W4285602010 hasConcept C111797529 @default.
- W4285602010 hasConcept C11413529 @default.
- W4285602010 hasConcept C114614502 @default.
- W4285602010 hasConcept C168773769 @default.
- W4285602010 hasConcept C187455244 @default.
- W4285602010 hasConcept C2524010 @default.
- W4285602010 hasConcept C33923547 @default.
- W4285602010 hasConcept C41008148 @default.
- W4285602010 hasConcept C6943359 @default.
- W4285602010 hasConceptScore W4285602010C111335779 @default.
- W4285602010 hasConceptScore W4285602010C111797529 @default.
- W4285602010 hasConceptScore W4285602010C11413529 @default.
- W4285602010 hasConceptScore W4285602010C114614502 @default.
- W4285602010 hasConceptScore W4285602010C168773769 @default.
- W4285602010 hasConceptScore W4285602010C187455244 @default.
- W4285602010 hasConceptScore W4285602010C2524010 @default.
- W4285602010 hasConceptScore W4285602010C33923547 @default.
- W4285602010 hasConceptScore W4285602010C41008148 @default.
- W4285602010 hasConceptScore W4285602010C6943359 @default.
- W4285602010 hasLocation W42856020101 @default.
- W4285602010 hasOpenAccess W4285602010 @default.
- W4285602010 hasPrimaryLocation W42856020101 @default.
- W4285602010 hasRelatedWork W192406999 @default.
- W4285602010 hasRelatedWork W1969885872 @default.
- W4285602010 hasRelatedWork W2118943303 @default.
- W4285602010 hasRelatedWork W2212155158 @default.
- W4285602010 hasRelatedWork W2394616262 @default.
- W4285602010 hasRelatedWork W2406837904 @default.
- W4285602010 hasRelatedWork W2408080066 @default.
- W4285602010 hasRelatedWork W3152212242 @default.
- W4285602010 hasRelatedWork W4253759203 @default.
- W4285602010 hasRelatedWork W4285605366 @default.
- W4285602010 isParatext "false" @default.
- W4285602010 isRetracted "false" @default.
- W4285602010 workType "article" @default.