Matches in SemOpenAlex for { <https://semopenalex.org/work/W4200370415> ?p ?o ?g. }
- W4200370415 endingPage "151" @default.
- W4200370415 startingPage "131" @default.
- W4200370415 abstract "The Maximum Satisfiability Problem, or MaxSAT, offers a suitable problem solving formalism for combinatorial optimization problems. Nevertheless, MaxSAT solvers implementing the Branch-and-Bound (BnB) scheme have not succeeded in solving challenging real-world optimization problems. It is widely believed that BnB MaxSAT solvers are only superior on random and some specific crafted instances. At the same time, SAT-based MaxSAT solvers perform particularly well on real-world instances. To overcome this shortcoming of BnB MaxSAT solvers, this paper proposes a new BnB MaxSAT solver called MaxCDCL. The main feature of MaxCDCL is the combination of clause learning of soft conflicts and an efficient bounding procedure. Moreover, the paper reports on an experimental investigation showing that MaxCDCL is competitive when compared with the best performing solvers of the 2020 MaxSAT Evaluation. MaxCDCL performs very well on real-world instances, and solves a number of instances that other solvers cannot solve. Furthermore, MaxCDCL, when combined with the best performing MaxSAT solvers, solves the highest number of instances of a collection from all the MaxSAT evaluations held so far." @default.
- W4200370415 created "2021-12-31" @default.
- W4200370415 creator A5011839072 @default.
- W4200370415 creator A5033526822 @default.
- W4200370415 creator A5038680735 @default.
- W4200370415 creator A5058023532 @default.
- W4200370415 creator A5061148416 @default.
- W4200370415 creator A5090630531 @default.
- W4200370415 date "2022-07-18" @default.
- W4200370415 modified "2023-09-29" @default.
- W4200370415 title "Boosting branch-and-bound MaxSAT solvers with clause learning" @default.
- W4200370415 cites W10100999 @default.
- W4200370415 cites W116541839 @default.
- W4200370415 cites W139194355 @default.
- W4200370415 cites W1531103278 @default.
- W4200370415 cites W1559357575 @default.
- W4200370415 cites W1578612406 @default.
- W4200370415 cites W1581661059 @default.
- W4200370415 cites W1607011516 @default.
- W4200370415 cites W1775352280 @default.
- W4200370415 cites W1793843726 @default.
- W4200370415 cites W1896404939 @default.
- W4200370415 cites W1951141208 @default.
- W4200370415 cites W2027945171 @default.
- W4200370415 cites W2029688740 @default.
- W4200370415 cites W2055714959 @default.
- W4200370415 cites W2071319337 @default.
- W4200370415 cites W2094855848 @default.
- W4200370415 cites W2100609826 @default.
- W4200370415 cites W2118943303 @default.
- W4200370415 cites W2140138589 @default.
- W4200370415 cites W2142785340 @default.
- W4200370415 cites W2154474334 @default.
- W4200370415 cites W2156469081 @default.
- W4200370415 cites W2171802366 @default.
- W4200370415 cites W2185680923 @default.
- W4200370415 cites W2481363456 @default.
- W4200370415 cites W2571687346 @default.
- W4200370415 cites W2621108739 @default.
- W4200370415 cites W2741170138 @default.
- W4200370415 cites W2746742238 @default.
- W4200370415 cites W2808345295 @default.
- W4200370415 cites W2989262635 @default.
- W4200370415 cites W3039580867 @default.
- W4200370415 cites W3040594194 @default.
- W4200370415 cites W3087538456 @default.
- W4200370415 cites W3090472451 @default.
- W4200370415 cites W3092575679 @default.
- W4200370415 cites W3126605304 @default.
- W4200370415 cites W37002918 @default.
- W4200370415 doi "https://doi.org/10.3233/aic-210178" @default.
- W4200370415 hasPublicationYear "2022" @default.
- W4200370415 type Work @default.
- W4200370415 citedByCount "3" @default.
- W4200370415 countsByYear W42003704152022 @default.
- W4200370415 countsByYear W42003704152023 @default.
- W4200370415 crossrefType "journal-article" @default.
- W4200370415 hasAuthorship W4200370415A5011839072 @default.
- W4200370415 hasAuthorship W4200370415A5033526822 @default.
- W4200370415 hasAuthorship W4200370415A5038680735 @default.
- W4200370415 hasAuthorship W4200370415A5058023532 @default.
- W4200370415 hasAuthorship W4200370415A5061148416 @default.
- W4200370415 hasAuthorship W4200370415A5090630531 @default.
- W4200370415 hasConcept C111797529 @default.
- W4200370415 hasConcept C11413529 @default.
- W4200370415 hasConcept C154945302 @default.
- W4200370415 hasConcept C168773769 @default.
- W4200370415 hasConcept C187455244 @default.
- W4200370415 hasConcept C199360897 @default.
- W4200370415 hasConcept C2778770139 @default.
- W4200370415 hasConcept C41008148 @default.
- W4200370415 hasConcept C46686674 @default.
- W4200370415 hasConcept C6943359 @default.
- W4200370415 hasConcept C80444323 @default.
- W4200370415 hasConcept C93693863 @default.
- W4200370415 hasConceptScore W4200370415C111797529 @default.
- W4200370415 hasConceptScore W4200370415C11413529 @default.
- W4200370415 hasConceptScore W4200370415C154945302 @default.
- W4200370415 hasConceptScore W4200370415C168773769 @default.
- W4200370415 hasConceptScore W4200370415C187455244 @default.
- W4200370415 hasConceptScore W4200370415C199360897 @default.
- W4200370415 hasConceptScore W4200370415C2778770139 @default.
- W4200370415 hasConceptScore W4200370415C41008148 @default.
- W4200370415 hasConceptScore W4200370415C46686674 @default.
- W4200370415 hasConceptScore W4200370415C6943359 @default.
- W4200370415 hasConceptScore W4200370415C80444323 @default.
- W4200370415 hasConceptScore W4200370415C93693863 @default.
- W4200370415 hasIssue "2" @default.
- W4200370415 hasLocation W42003704151 @default.
- W4200370415 hasLocation W42003704152 @default.
- W4200370415 hasOpenAccess W4200370415 @default.
- W4200370415 hasPrimaryLocation W42003704151 @default.
- W4200370415 hasRelatedWork W116541839 @default.
- W4200370415 hasRelatedWork W2115480761 @default.
- W4200370415 hasRelatedWork W2118943303 @default.
- W4200370415 hasRelatedWork W2301405299 @default.
- W4200370415 hasRelatedWork W2404307587 @default.
- W4200370415 hasRelatedWork W2408080066 @default.