Matches in SemOpenAlex for { <https://semopenalex.org/work/W2129022098> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2129022098 abstract "Boolean satisfiability (SAT) solvers have experienced dramatic improvements in their performance and scalability over the last several years [5, 7] and are now routinely used in diverse EDA applications. Nevertheless, a number of practical SAT instances remain difficult to solve [9] and continue to defy even the best available SAT solvers [5, 7]. Recent work pointed out that symmetries in the Boolean search space are often to blame. A theoretical framework for detecting and breaking such symmetries was introduced in [2]. This framework was subsequently extended, refined, and empirically shown to yield significant speed-ups for a large number of benchmark classes in [1].Symmetries in the search space are broken by adding appropriate symmetry-breaking predicates (SBPs) to a SAT instance in conjunctive normal form (CNF). The SBPs prune the search space by acting as a filter that confines the search to non-symmetric regions of the space without affecting the satisfiability of the CNF formula. For symmetry breaking to be effective in practice, the computational overhead of generating and manipulating the SBPs must be significantly less than the run time savings they yield due to search space pruning. In this paper we present several new constructions of SBPs that improve on previous work. Specifically, we give a linear-sized CNF formula that selects lex-leaders (among others) for single permutations. We also show how that formula can be simplified by taking advantage of the sparsity of permutations. We test these improvements against earlier constructions and show that they yield smaller SBPs and lead to run time reductions on many benchmarks." @default.
- W2129022098 created "2016-06-24" @default.
- W2129022098 creator A5065370018 @default.
- W2129022098 creator A5066105108 @default.
- W2129022098 creator A5077314055 @default.
- W2129022098 date "2003-06-02" @default.
- W2129022098 modified "2023-10-18" @default.
- W2129022098 title "Shatter" @default.
- W2129022098 cites W1989970914 @default.
- W2129022098 cites W2098022011 @default.
- W2129022098 cites W2098508444 @default.
- W2129022098 cites W2142785340 @default.
- W2129022098 doi "https://doi.org/10.1145/775832.776042" @default.
- W2129022098 hasPublicationYear "2003" @default.
- W2129022098 type Work @default.
- W2129022098 sameAs 2129022098 @default.
- W2129022098 citedByCount "50" @default.
- W2129022098 countsByYear W21290220982012 @default.
- W2129022098 countsByYear W21290220982013 @default.
- W2129022098 countsByYear W21290220982014 @default.
- W2129022098 countsByYear W21290220982015 @default.
- W2129022098 countsByYear W21290220982016 @default.
- W2129022098 countsByYear W21290220982018 @default.
- W2129022098 countsByYear W21290220982019 @default.
- W2129022098 countsByYear W21290220982020 @default.
- W2129022098 countsByYear W21290220982022 @default.
- W2129022098 countsByYear W21290220982023 @default.
- W2129022098 crossrefType "proceedings-article" @default.
- W2129022098 hasAuthorship W2129022098A5065370018 @default.
- W2129022098 hasAuthorship W2129022098A5066105108 @default.
- W2129022098 hasAuthorship W2129022098A5077314055 @default.
- W2129022098 hasConcept C108010975 @default.
- W2129022098 hasConcept C111919701 @default.
- W2129022098 hasConcept C11413529 @default.
- W2129022098 hasConcept C118615104 @default.
- W2129022098 hasConcept C13280743 @default.
- W2129022098 hasConcept C168773769 @default.
- W2129022098 hasConcept C185798385 @default.
- W2129022098 hasConcept C199360897 @default.
- W2129022098 hasConcept C205649164 @default.
- W2129022098 hasConcept C2524010 @default.
- W2129022098 hasConcept C2778572836 @default.
- W2129022098 hasConcept C2779960059 @default.
- W2129022098 hasConcept C33923547 @default.
- W2129022098 hasConcept C41008148 @default.
- W2129022098 hasConcept C48044578 @default.
- W2129022098 hasConcept C6557445 @default.
- W2129022098 hasConcept C6943359 @default.
- W2129022098 hasConcept C77088390 @default.
- W2129022098 hasConcept C80444323 @default.
- W2129022098 hasConcept C86803240 @default.
- W2129022098 hasConcept C96469262 @default.
- W2129022098 hasConceptScore W2129022098C108010975 @default.
- W2129022098 hasConceptScore W2129022098C111919701 @default.
- W2129022098 hasConceptScore W2129022098C11413529 @default.
- W2129022098 hasConceptScore W2129022098C118615104 @default.
- W2129022098 hasConceptScore W2129022098C13280743 @default.
- W2129022098 hasConceptScore W2129022098C168773769 @default.
- W2129022098 hasConceptScore W2129022098C185798385 @default.
- W2129022098 hasConceptScore W2129022098C199360897 @default.
- W2129022098 hasConceptScore W2129022098C205649164 @default.
- W2129022098 hasConceptScore W2129022098C2524010 @default.
- W2129022098 hasConceptScore W2129022098C2778572836 @default.
- W2129022098 hasConceptScore W2129022098C2779960059 @default.
- W2129022098 hasConceptScore W2129022098C33923547 @default.
- W2129022098 hasConceptScore W2129022098C41008148 @default.
- W2129022098 hasConceptScore W2129022098C48044578 @default.
- W2129022098 hasConceptScore W2129022098C6557445 @default.
- W2129022098 hasConceptScore W2129022098C6943359 @default.
- W2129022098 hasConceptScore W2129022098C77088390 @default.
- W2129022098 hasConceptScore W2129022098C80444323 @default.
- W2129022098 hasConceptScore W2129022098C86803240 @default.
- W2129022098 hasConceptScore W2129022098C96469262 @default.
- W2129022098 hasLocation W21290220981 @default.
- W2129022098 hasOpenAccess W2129022098 @default.
- W2129022098 hasPrimaryLocation W21290220981 @default.
- W2129022098 hasRelatedWork W112744582 @default.
- W2129022098 hasRelatedWork W1992562623 @default.
- W2129022098 hasRelatedWork W2597100317 @default.
- W2129022098 hasRelatedWork W2798595286 @default.
- W2129022098 hasRelatedWork W3120511008 @default.
- W2129022098 hasRelatedWork W333184999 @default.
- W2129022098 hasRelatedWork W4280619382 @default.
- W2129022098 hasRelatedWork W4287283713 @default.
- W2129022098 hasRelatedWork W4317464145 @default.
- W2129022098 hasRelatedWork W4321012653 @default.
- W2129022098 isParatext "false" @default.
- W2129022098 isRetracted "false" @default.
- W2129022098 magId "2129022098" @default.
- W2129022098 workType "article" @default.