Matches in SemOpenAlex for { <https://semopenalex.org/work/W2261570667> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2261570667 endingPage "289" @default.
- W2261570667 startingPage "283" @default.
- W2261570667 abstract "We propose a new approach that exploits the good properties of core-guided and model-guided MaxSAT solvers. In particular, we show how to effectively exploit the structure of unsatisfiable cores in MaxSAT instances. Experimental results on industrial instances show that the proposed approach outperforms both complete and incomplete state-of-the-art MaxSAT solvers at the last international MaxSAT Evaluation in terms of robustness and total number of solved instances." @default.
- W2261570667 created "2016-06-24" @default.
- W2261570667 creator A5039752849 @default.
- W2261570667 creator A5052612628 @default.
- W2261570667 creator A5056667703 @default.
- W2261570667 date "2015-07-25" @default.
- W2261570667 modified "2023-09-23" @default.
- W2261570667 title "Exploiting the structure of unsatisfiable cores in MaxSAT" @default.
- W2261570667 cites W134459671 @default.
- W2261570667 cites W139194355 @default.
- W2261570667 cites W1479859531 @default.
- W2261570667 cites W1495942578 @default.
- W2261570667 cites W1524741427 @default.
- W2261570667 cites W1578612406 @default.
- W2261570667 cites W1607011516 @default.
- W2261570667 cites W1608123432 @default.
- W2261570667 cites W1775352280 @default.
- W2261570667 cites W1852879971 @default.
- W2261570667 cites W1885913205 @default.
- W2261570667 cites W192935825 @default.
- W2261570667 cites W2012413542 @default.
- W2261570667 cites W2029958553 @default.
- W2261570667 cites W2049991966 @default.
- W2261570667 cites W2071319337 @default.
- W2261570667 cites W2100609826 @default.
- W2261570667 cites W2118943303 @default.
- W2261570667 cites W2185511107 @default.
- W2261570667 cites W2274933339 @default.
- W2261570667 cites W2395737562 @default.
- W2261570667 cites W2397219751 @default.
- W2261570667 cites W2398378849 @default.
- W2261570667 cites W2404307587 @default.
- W2261570667 cites W37002918 @default.
- W2261570667 cites W78552530 @default.
- W2261570667 cites W82625556 @default.
- W2261570667 cites W2611013588 @default.
- W2261570667 hasPublicationYear "2015" @default.
- W2261570667 type Work @default.
- W2261570667 sameAs 2261570667 @default.
- W2261570667 citedByCount "4" @default.
- W2261570667 countsByYear W22615706672016 @default.
- W2261570667 countsByYear W22615706672017 @default.
- W2261570667 crossrefType "proceedings-article" @default.
- W2261570667 hasAuthorship W2261570667A5039752849 @default.
- W2261570667 hasAuthorship W2261570667A5052612628 @default.
- W2261570667 hasAuthorship W2261570667A5056667703 @default.
- W2261570667 hasConcept C104317684 @default.
- W2261570667 hasConcept C111797529 @default.
- W2261570667 hasConcept C11413529 @default.
- W2261570667 hasConcept C165696696 @default.
- W2261570667 hasConcept C185592680 @default.
- W2261570667 hasConcept C187455244 @default.
- W2261570667 hasConcept C38652104 @default.
- W2261570667 hasConcept C41008148 @default.
- W2261570667 hasConcept C55493867 @default.
- W2261570667 hasConcept C63479239 @default.
- W2261570667 hasConcept C80444323 @default.
- W2261570667 hasConceptScore W2261570667C104317684 @default.
- W2261570667 hasConceptScore W2261570667C111797529 @default.
- W2261570667 hasConceptScore W2261570667C11413529 @default.
- W2261570667 hasConceptScore W2261570667C165696696 @default.
- W2261570667 hasConceptScore W2261570667C185592680 @default.
- W2261570667 hasConceptScore W2261570667C187455244 @default.
- W2261570667 hasConceptScore W2261570667C38652104 @default.
- W2261570667 hasConceptScore W2261570667C41008148 @default.
- W2261570667 hasConceptScore W2261570667C55493867 @default.
- W2261570667 hasConceptScore W2261570667C63479239 @default.
- W2261570667 hasConceptScore W2261570667C80444323 @default.
- W2261570667 hasLocation W22615706671 @default.
- W2261570667 hasOpenAccess W2261570667 @default.
- W2261570667 hasPrimaryLocation W22615706671 @default.
- W2261570667 hasRelatedWork W116541839 @default.
- W2261570667 hasRelatedWork W134459671 @default.
- W2261570667 hasRelatedWork W1531103278 @default.
- W2261570667 hasRelatedWork W193459320 @default.
- W2261570667 hasRelatedWork W2004764712 @default.
- W2261570667 hasRelatedWork W2029958553 @default.
- W2261570667 hasRelatedWork W2071319337 @default.
- W2261570667 hasRelatedWork W2185680923 @default.
- W2261570667 hasRelatedWork W2269865230 @default.
- W2261570667 hasRelatedWork W2398929340 @default.
- W2261570667 hasRelatedWork W2481363456 @default.
- W2261570667 hasRelatedWork W2945627032 @default.
- W2261570667 hasRelatedWork W2950173013 @default.
- W2261570667 hasRelatedWork W2973660513 @default.
- W2261570667 hasRelatedWork W3035531262 @default.
- W2261570667 hasRelatedWork W3038094279 @default.
- W2261570667 hasRelatedWork W3083621833 @default.
- W2261570667 hasRelatedWork W3194860598 @default.
- W2261570667 hasRelatedWork W37002918 @default.
- W2261570667 hasRelatedWork W40823289 @default.
- W2261570667 isParatext "false" @default.
- W2261570667 isRetracted "false" @default.
- W2261570667 magId "2261570667" @default.
- W2261570667 workType "article" @default.