FRINK Linked Data Fragments server

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

• W3125986754 endingPage "213" @default.
• W3125986754 startingPage "205" @default.
• W3125986754 abstract "The goal of this study is to improve the scalability of today's SAT-based solutions for optimization problems and to pave the way towards extending the range of optimization problems solvable with SAT in practice. Let OptSAT be the problem of optimizing a generic Pseudo-Boolean function, given a satisfiable propositional formula F. We introduce an incremental and anytime incomplete algorithm for solving OptSAT, called Polosat. We show that integrating Polosat into a state-of-the-art open-source anytime MaxSAT solver significantly improves the solver's performance. Furthermore, we demonstrate that Polosat substantially improves the solution quality of an industrial placement tool, where placement is a sub-stage of the physical design stage of chip design." @default.
• W3125986754 created "2021-02-01" @default.
• W3125986754 creator A5006830161 @default.
• W3125986754 date "2020-09-21" @default.
• W3125986754 modified "2023-09-23" @default.
• W3125986754 title "On Optimizing a Generic Function in SAT" @default.
• W3125986754 cites W134459671 @default.
• W3125986754 cites W1500570021 @default.
• W3125986754 cites W1518705996 @default.
• W3125986754 cites W1521783990 @default.
• W3125986754 cites W1667614912 @default.
• W3125986754 cites W1868868480 @default.
• W3125986754 cites W192097321 @default.
• W3125986754 cites W1929514068 @default.
• W3125986754 cites W1987786682 @default.
• W3125986754 cites W2013560272 @default.
• W3125986754 cites W2029958553 @default.
• W3125986754 cites W2085374061 @default.
• W3125986754 cites W2115939129 @default.
• W3125986754 cites W2131923870 @default.
• W3125986754 cites W2144102767 @default.
• W3125986754 cites W2154593562 @default.
• W3125986754 cites W2159595840 @default.
• W3125986754 cites W2160345156 @default.
• W3125986754 cites W2467005558 @default.
• W3125986754 cites W2621108739 @default.
• W3125986754 cites W2736255687 @default.
• W3125986754 cites W2794800068 @default.
• W3125986754 cites W2808345295 @default.
• W3125986754 cites W2809265824 @default.
• W3125986754 cites W2888144801 @default.
• W3125986754 cites W2903456509 @default.
• W3125986754 cites W2951696137 @default.
• W3125986754 cites W2963954089 @default.
• W3125986754 cites W2973660513 @default.
• W3125986754 cites W2987124936 @default.
• W3125986754 cites W2995391524 @default.
• W3125986754 cites W3087533836 @default.
• W3125986754 cites W602497127 @default.
• W3125986754 cites W778782216 @default.
• W3125986754 cites W94133491 @default.
• W3125986754 cites W2096160932 @default.
• W3125986754 doi "https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_28" @default.
• W3125986754 hasPublicationYear "2020" @default.
• W3125986754 type Work @default.
• W3125986754 sameAs 3125986754 @default.
• W3125986754 citedByCount "0" @default.
• W3125986754 crossrefType "proceedings-article" @default.
• W3125986754 hasAuthorship W3125986754A5006830161 @default.
• W3125986754 hasConcept C111797529 @default.
• W3125986754 hasConcept C11413529 @default.
• W3125986754 hasConcept C126255220 @default.
• W3125986754 hasConcept C137836250 @default.
• W3125986754 hasConcept C14036430 @default.
• W3125986754 hasConcept C159985019 @default.
• W3125986754 hasConcept C187455244 @default.
• W3125986754 hasConcept C192562407 @default.
• W3125986754 hasConcept C199360897 @default.
• W3125986754 hasConcept C200415742 @default.
• W3125986754 hasConcept C204323151 @default.
• W3125986754 hasConcept C2778770139 @default.
• W3125986754 hasConcept C33923547 @default.
• W3125986754 hasConcept C41008148 @default.
• W3125986754 hasConcept C48044578 @default.
• W3125986754 hasConcept C6943359 @default.
• W3125986754 hasConcept C77088390 @default.
• W3125986754 hasConcept C78458016 @default.
• W3125986754 hasConcept C80444323 @default.
• W3125986754 hasConcept C86803240 @default.
• W3125986754 hasConceptScore W3125986754C111797529 @default.
• W3125986754 hasConceptScore W3125986754C11413529 @default.
• W3125986754 hasConceptScore W3125986754C126255220 @default.
• W3125986754 hasConceptScore W3125986754C137836250 @default.
• W3125986754 hasConceptScore W3125986754C14036430 @default.
• W3125986754 hasConceptScore W3125986754C159985019 @default.
• W3125986754 hasConceptScore W3125986754C187455244 @default.
• W3125986754 hasConceptScore W3125986754C192562407 @default.
• W3125986754 hasConceptScore W3125986754C199360897 @default.
• W3125986754 hasConceptScore W3125986754C200415742 @default.
• W3125986754 hasConceptScore W3125986754C204323151 @default.
• W3125986754 hasConceptScore W3125986754C2778770139 @default.
• W3125986754 hasConceptScore W3125986754C33923547 @default.
• W3125986754 hasConceptScore W3125986754C41008148 @default.
• W3125986754 hasConceptScore W3125986754C48044578 @default.
• W3125986754 hasConceptScore W3125986754C6943359 @default.
• W3125986754 hasConceptScore W3125986754C77088390 @default.
• W3125986754 hasConceptScore W3125986754C78458016 @default.
• W3125986754 hasConceptScore W3125986754C80444323 @default.
• W3125986754 hasConceptScore W3125986754C86803240 @default.
• W3125986754 hasLocation W31259867541 @default.
• W3125986754 hasOpenAccess W3125986754 @default.
• W3125986754 hasPrimaryLocation W31259867541 @default.
• W3125986754 hasRelatedWork W1486389616 @default.
• W3125986754 hasRelatedWork W1513294700 @default.
• W3125986754 hasRelatedWork W1514095116 @default.
• W3125986754 hasRelatedWork W1526216923 @default.
• W3125986754 hasRelatedWork W1598839320 @default.
• W3125986754 hasRelatedWork W1728966390 @default.

• next