Matches in SemOpenAlex for { <https://semopenalex.org/work/W2098984274> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W2098984274 abstract "Many decision and optimization problems in electronic design automation (EDA) can be solved with Boolean satisfiability (SAT). Moreover, well-known extensions of SAT also find application in EDA, including pseudo-Boolean optimization, quantified Boolean formulas, multi-valued SAT and, more recently, Maximum Satisfiability (MaxSAT). Algorithms for MaxSAT are still fairly inefficient in industrial settings, in part because the most effective SAT techniques cannot be easily extended to MaxSAT. This paper proposes a novel algorithm for MaxSAT that improves existing state of the art solvers by orders of magnitude on industrial benchmarks. The new algorithm exploits modern SAT solvers, being based on the identification of unsatisfiable subformulas. Moreover, the new algorithm provides additional insights between unsatisfiable subformulas and the maximum satisfiability problem." @default.
- W2098984274 created "2016-06-24" @default.
- W2098984274 creator A5002246957 @default.
- W2098984274 creator A5025177965 @default.
- W2098984274 date "2008-03-10" @default.
- W2098984274 modified "2023-10-18" @default.
- W2098984274 title "Algorithms for maximum satisfiability using unsatisfiable cores" @default.
- W2098984274 cites W1510368738 @default.
- W2098984274 cites W1531103278 @default.
- W2098984274 cites W1558152194 @default.
- W2098984274 cites W1595276356 @default.
- W2098984274 cites W1970251068 @default.
- W2098984274 cites W1976377518 @default.
- W2098984274 cites W1979903718 @default.
- W2098984274 cites W2004831359 @default.
- W2098984274 cites W2042705674 @default.
- W2098984274 cites W2057361103 @default.
- W2098984274 cites W2116758077 @default.
- W2098984274 cites W2138564201 @default.
- W2098984274 cites W2140132043 @default.
- W2098984274 cites W2154352023 @default.
- W2098984274 cites W2158651374 @default.
- W2098984274 cites W3030393339 @default.
- W2098984274 doi "https://doi.org/10.1145/1403375.1403474" @default.
- W2098984274 hasPublicationYear "2008" @default.
- W2098984274 type Work @default.
- W2098984274 sameAs 2098984274 @default.
- W2098984274 citedByCount "70" @default.
- W2098984274 countsByYear W20989842742012 @default.
- W2098984274 countsByYear W20989842742013 @default.
- W2098984274 countsByYear W20989842742014 @default.
- W2098984274 countsByYear W20989842742015 @default.
- W2098984274 countsByYear W20989842742016 @default.
- W2098984274 countsByYear W20989842742017 @default.
- W2098984274 countsByYear W20989842742018 @default.
- W2098984274 countsByYear W20989842742019 @default.
- W2098984274 crossrefType "proceedings-article" @default.
- W2098984274 hasAuthorship W2098984274A5002246957 @default.
- W2098984274 hasAuthorship W2098984274A5025177965 @default.
- W2098984274 hasBestOaLocation W20989842742 @default.
- W2098984274 hasConcept C11413529 @default.
- W2098984274 hasConcept C168773769 @default.
- W2098984274 hasConcept C41008148 @default.
- W2098984274 hasConcept C6943359 @default.
- W2098984274 hasConceptScore W2098984274C11413529 @default.
- W2098984274 hasConceptScore W2098984274C168773769 @default.
- W2098984274 hasConceptScore W2098984274C41008148 @default.
- W2098984274 hasConceptScore W2098984274C6943359 @default.
- W2098984274 hasLocation W20989842741 @default.
- W2098984274 hasLocation W20989842742 @default.
- W2098984274 hasOpenAccess W2098984274 @default.
- W2098984274 hasPrimaryLocation W20989842741 @default.
- W2098984274 hasRelatedWork W1969885872 @default.
- W2098984274 hasRelatedWork W1998688823 @default.
- W2098984274 hasRelatedWork W2091617677 @default.
- W2098984274 hasRelatedWork W21597398 @default.
- W2098984274 hasRelatedWork W2212155158 @default.
- W2098984274 hasRelatedWork W2386767533 @default.
- W2098984274 hasRelatedWork W2388689078 @default.
- W2098984274 hasRelatedWork W3112462397 @default.
- W2098984274 hasRelatedWork W3176904788 @default.
- W2098984274 hasRelatedWork W2480714386 @default.
- W2098984274 isParatext "false" @default.
- W2098984274 isRetracted "false" @default.
- W2098984274 magId "2098984274" @default.
- W2098984274 workType "article" @default.