FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2321167683> ?p ?o ?g. }

• W2321167683 endingPage "833" @default.
• W2321167683 startingPage "799" @default.
• W2321167683 abstract "Recently, MaxSAT reasoning is shown very effective in computing a tight upper bound for a Maximum Clique (MC) of a (unweighted) graph. In this paper, we apply MaxSAT reasoning to compute a tight upper bound for a Maximum Weight Clique (MWC) of a wighted graph. We first study three usual encodings of MWC into weighted partial MaxSAT dealing with hard clauses, which must be satisfied in all solutions, and soft clauses, which are weighted and can be falsified. The drawbacks of these encodings motivate us to propose an encoding of MWC into a special weighted partial MaxSAT formalism, called LW (Literal-Weighted) encoding and dedicated for upper bounding an MWC, in which both soft clauses and literals in soft clauses are weighted. An optimal solution of the LW MaxSAT instance gives an upper bound for an MWC, instead of an optimal solution for MWC. We then introduce two notions called the Top-k literal failed clause and the Top-k empty clause to extend classical MaxSAT reasoning techniques, as well as two sound transformation rules to transform an LW MaxSAT instance. Successive transformations of an LW MaxSAT instance driven by MaxSAT reasoning give a tight upper bound for the encoded MWC. The approach is implemented in a branch-and-bound algorithm called MWCLQ. Experimental evaluations on the broadly used DIMACS benchmark, BHOSLIB benchmark, random graphs and the benchmark from the winner determination problem show that our approach allows MWCLQ to reduce the search space significantly and to solve MWC instances effectively. Consequently, MWCLQ outperforms state-of-the-art exact algorithms on the vast majority of instances. Moreover, it is surprisingly effective in solving hard and dense instances." @default.
• W2321167683 created "2016-06-24" @default.
• W2321167683 creator A5032588791 @default.
• W2321167683 creator A5038680735 @default.
• W2321167683 creator A5087852871 @default.
• W2321167683 date "2016-03-31" @default.
• W2321167683 modified "2023-10-10" @default.
• W2321167683 title "An Exact Algorithm Based on MaxSAT Reasoning for the Maximum Weight Clique Problem" @default.
• W2321167683 cites W10100999 @default.
• W2321167683 cites W110304795 @default.
• W2321167683 cites W111132822 @default.
• W2321167683 cites W116541839 @default.
• W2321167683 cites W134459671 @default.
• W2321167683 cites W139322340 @default.
• W2321167683 cites W14839205 @default.
• W2321167683 cites W1484343014 @default.
• W2321167683 cites W1508964797 @default.
• W2321167683 cites W1516453703 @default.
• W2321167683 cites W1556434751 @default.
• W2321167683 cites W156070842 @default.
• W2321167683 cites W1590778798 @default.
• W2321167683 cites W165772547 @default.
• W2321167683 cites W1793843726 @default.
• W2321167683 cites W182176239 @default.
• W2321167683 cites W186167798 @default.
• W2321167683 cites W1951141208 @default.
• W2321167683 cites W1972760347 @default.
• W2321167683 cites W1983402337 @default.
• W2321167683 cites W1987751154 @default.
• W2321167683 cites W1990734013 @default.
• W2321167683 cites W2022841964 @default.
• W2321167683 cites W2029958553 @default.
• W2321167683 cites W2034776582 @default.
• W2321167683 cites W2038777942 @default.
• W2321167683 cites W2045794350 @default.
• W2321167683 cites W2046112356 @default.
• W2321167683 cites W2060792871 @default.
• W2321167683 cites W2071319337 @default.
• W2321167683 cites W2074465184 @default.
• W2321167683 cites W2085826829 @default.
• W2321167683 cites W2094314299 @default.
• W2321167683 cites W2094836579 @default.
• W2321167683 cites W2100505346 @default.
• W2321167683 cites W2110504071 @default.
• W2321167683 cites W2111108786 @default.
• W2321167683 cites W2118943303 @default.
• W2321167683 cites W2119332979 @default.
• W2321167683 cites W2121957284 @default.
• W2321167683 cites W2122448854 @default.
• W2321167683 cites W2126186592 @default.
• W2321167683 cites W2131720600 @default.
• W2321167683 cites W2132380389 @default.
• W2321167683 cites W2139300273 @default.
• W2321167683 cites W2140138589 @default.
• W2321167683 cites W2156252543 @default.
• W2321167683 cites W2162181360 @default.
• W2321167683 cites W2166658744 @default.
• W2321167683 cites W2166742555 @default.
• W2321167683 cites W2183091601 @default.
• W2321167683 cites W2218364719 @default.
• W2321167683 cites W2257229066 @default.
• W2321167683 cites W2262748147 @default.
• W2321167683 cites W2277582367 @default.
• W2321167683 cites W2397219751 @default.
• W2321167683 cites W2401610261 @default.
• W2321167683 cites W2404307587 @default.
• W2321167683 cites W2405335221 @default.
• W2321167683 cites W3104044769 @default.
• W2321167683 cites W3149604617 @default.
• W2321167683 cites W49630862 @default.
• W2321167683 cites W2601512593 @default.
• W2321167683 doi "https://doi.org/10.1613/jair.4953" @default.
• W2321167683 hasPublicationYear "2016" @default.
• W2321167683 type Work @default.
• W2321167683 sameAs 2321167683 @default.
• W2321167683 citedByCount "32" @default.
• W2321167683 countsByYear W23211676832017 @default.
• W2321167683 countsByYear W23211676832018 @default.
• W2321167683 countsByYear W23211676832019 @default.
• W2321167683 countsByYear W23211676832020 @default.
• W2321167683 countsByYear W23211676832021 @default.
• W2321167683 countsByYear W23211676832023 @default.
• W2321167683 crossrefType "journal-article" @default.
• W2321167683 hasAuthorship W2321167683A5032588791 @default.
• W2321167683 hasAuthorship W2321167683A5038680735 @default.
• W2321167683 hasAuthorship W2321167683A5087852871 @default.
• W2321167683 hasBestOaLocation W23211676831 @default.
• W2321167683 hasConcept C102993220 @default.
• W2321167683 hasConcept C111797529 @default.
• W2321167683 hasConcept C11413529 @default.
• W2321167683 hasConcept C114614502 @default.
• W2321167683 hasConcept C131992880 @default.
• W2321167683 hasConcept C132525143 @default.
• W2321167683 hasConcept C13280743 @default.
• W2321167683 hasConcept C134306372 @default.
• W2321167683 hasConcept C14523651 @default.
• W2321167683 hasConcept C16221470 @default.
• W2321167683 hasConcept C168773769 @default.

• next