FRINK Linked Data Fragments server

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

• W1509089938 endingPage "551" @default.
• W1509089938 startingPage "544" @default.
• W1509089938 abstract "Systematic search and local search paradigms for combinatorial problems are generally believed to have complementary strengths. Nevertheless, attempts to combine the power of the two paradigms have had limited success, due in part to the expensive information communication overhead involved. We propose a hybrid strategy based on shared memory, ideally suited for multi-core processor architectures. This method enables continuous information exchange between two solvers without slowing down either of the two. Such a hybrid search strategy is surprisingly effective, leading to substantially better quality solutions to many challenging Maximum Satisfiability (MaxSAT) instances than what the current best exact or heuristic methods yield, and it often achieves this within seconds. This hybrid approach is naturally best suited to MaxSAT instances for which proving unsatisfiability is already hard; otherwise the method falls back to pure local search." @default.
• W1509089938 created "2016-06-24" @default.
• W1509089938 creator A5046405595 @default.
• W1509089938 creator A5069030030 @default.
• W1509089938 creator A5077726785 @default.
• W1509089938 creator A5084928583 @default.
• W1509089938 date "2009-07-11" @default.
• W1509089938 modified "2023-09-23" @default.
• W1509089938 title "Integrating systematic and local search paradigms: a new strategy for MaxSAT" @default.
• W1509089938 cites W1492052509 @default.
• W1509089938 cites W1495369628 @default.
• W1509089938 cites W1497380692 @default.
• W1509089938 cites W1519526968 @default.
• W1509089938 cites W1546338010 @default.
• W1509089938 cites W1549765843 @default.
• W1509089938 cites W1555515018 @default.
• W1509089938 cites W1559357575 @default.
• W1509089938 cites W1562908040 @default.
• W1509089938 cites W157753919 @default.
• W1509089938 cites W1591939288 @default.
• W1509089938 cites W2017127020 @default.
• W1509089938 cites W2026355757 @default.
• W1509089938 cites W2057361103 @default.
• W1509089938 cites W2062897452 @default.
• W1509089938 cites W2140138589 @default.
• W1509089938 cites W2141037672 @default.
• W1509089938 cites W2560525892 @default.
• W1509089938 hasPublicationYear "2009" @default.
• W1509089938 type Work @default.
• W1509089938 sameAs 1509089938 @default.
• W1509089938 citedByCount "22" @default.
• W1509089938 countsByYear W15090899382012 @default.
• W1509089938 countsByYear W15090899382013 @default.
• W1509089938 countsByYear W15090899382014 @default.
• W1509089938 countsByYear W15090899382015 @default.
• W1509089938 countsByYear W15090899382017 @default.
• W1509089938 countsByYear W15090899382018 @default.
• W1509089938 countsByYear W15090899382020 @default.
• W1509089938 countsByYear W15090899382021 @default.
• W1509089938 crossrefType "proceedings-article" @default.
• W1509089938 hasAuthorship W1509089938A5046405595 @default.
• W1509089938 hasAuthorship W1509089938A5069030030 @default.
• W1509089938 hasAuthorship W1509089938A5077726785 @default.
• W1509089938 hasAuthorship W1509089938A5084928583 @default.
• W1509089938 hasConcept C111797529 @default.
• W1509089938 hasConcept C11413529 @default.
• W1509089938 hasConcept C125583679 @default.
• W1509089938 hasConcept C135320971 @default.
• W1509089938 hasConcept C154945302 @default.
• W1509089938 hasConcept C168773769 @default.
• W1509089938 hasConcept C173801870 @default.
• W1509089938 hasConcept C187455244 @default.
• W1509089938 hasConcept C19889080 @default.
• W1509089938 hasConcept C199360897 @default.
• W1509089938 hasConcept C203208320 @default.
• W1509089938 hasConcept C2779960059 @default.
• W1509089938 hasConcept C41008148 @default.
• W1509089938 hasConcept C6943359 @default.
• W1509089938 hasConcept C80444323 @default.
• W1509089938 hasConceptScore W1509089938C111797529 @default.
• W1509089938 hasConceptScore W1509089938C11413529 @default.
• W1509089938 hasConceptScore W1509089938C125583679 @default.
• W1509089938 hasConceptScore W1509089938C135320971 @default.
• W1509089938 hasConceptScore W1509089938C154945302 @default.
• W1509089938 hasConceptScore W1509089938C168773769 @default.
• W1509089938 hasConceptScore W1509089938C173801870 @default.
• W1509089938 hasConceptScore W1509089938C187455244 @default.
• W1509089938 hasConceptScore W1509089938C19889080 @default.
• W1509089938 hasConceptScore W1509089938C199360897 @default.
• W1509089938 hasConceptScore W1509089938C203208320 @default.
• W1509089938 hasConceptScore W1509089938C2779960059 @default.
• W1509089938 hasConceptScore W1509089938C41008148 @default.
• W1509089938 hasConceptScore W1509089938C6943359 @default.
• W1509089938 hasConceptScore W1509089938C80444323 @default.
• W1509089938 hasLocation W15090899381 @default.
• W1509089938 hasOpenAccess W1509089938 @default.
• W1509089938 hasPrimaryLocation W15090899381 @default.
• W1509089938 hasRelatedWork W1494865762 @default.
• W1509089938 hasRelatedWork W1496083386 @default.
• W1509089938 hasRelatedWork W1506255457 @default.
• W1509089938 hasRelatedWork W1518705996 @default.
• W1509089938 hasRelatedWork W1519526968 @default.
• W1509089938 hasRelatedWork W1546338010 @default.
• W1509089938 hasRelatedWork W1574451223 @default.
• W1509089938 hasRelatedWork W1577087009 @default.
• W1509089938 hasRelatedWork W1591939288 @default.
• W1509089938 hasRelatedWork W1594093112 @default.
• W1509089938 hasRelatedWork W1667614912 @default.
• W1509089938 hasRelatedWork W1833106254 @default.
• W1509089938 hasRelatedWork W1978526866 @default.
• W1509089938 hasRelatedWork W2036265926 @default.
• W1509089938 hasRelatedWork W204392951 @default.
• W1509089938 hasRelatedWork W2106440199 @default.
• W1509089938 hasRelatedWork W2141037672 @default.
• W1509089938 hasRelatedWork W2142785340 @default.
• W1509089938 hasRelatedWork W2147148915 @default.
• W1509089938 hasRelatedWork W2165372647 @default.
• W1509089938 isParatext "false" @default.

• next