Matches in SemOpenAlex for { <https://semopenalex.org/work/W4281618541> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W4281618541 abstract "Exploitation of symmetries is an indispensable approach to solve certain classes of difficult SAT instances. Numerous techniques for the use of symmetry in SAT have evolved over the past few decades. But no matter how symmetries are used precisely, they have to be detected first. We investigate how to detect more symmetry, faster. The initial idea is to reap the benefits of SAT preprocessing for symmetry detection. As it turns out, applying an off-the-shelf preprocessor before handling symmetry runs into problems: the preprocessor can haphazardly remove symmetry from formulas, severely impeding symmetry exploitation. Our main contribution is a theoretical framework that captures the relationship of SAT preprocessing techniques and symmetry. Based on this, we create a symmetry-aware preprocessor that can be applied safely before handling symmetry. We then demonstrate that applying the preprocessor does not only substantially decrease symmetry detection and breaking times, but also uncovers hidden symmetry not detectable in the original instances. Overall, we depart the conventional view of treating symmetry detection as a black-box, presenting a new application-specific approach to symmetry detection in SAT." @default.
- W4281618541 created "2022-06-13" @default.
- W4281618541 creator A5028304748 @default.
- W4281618541 date "2022-05-25" @default.
- W4281618541 modified "2023-10-14" @default.
- W4281618541 title "SAT Preprocessors and Symmetry" @default.
- W4281618541 doi "https://doi.org/10.48550/arxiv.2205.12799" @default.
- W4281618541 hasPublicationYear "2022" @default.
- W4281618541 type Work @default.
- W4281618541 citedByCount "0" @default.
- W4281618541 crossrefType "posted-content" @default.
- W4281618541 hasAuthorship W4281618541A5028304748 @default.
- W4281618541 hasBestOaLocation W42816185411 @default.
- W4281618541 hasConcept C109214941 @default.
- W4281618541 hasConcept C121332964 @default.
- W4281618541 hasConcept C125881977 @default.
- W4281618541 hasConcept C154945302 @default.
- W4281618541 hasConcept C192423722 @default.
- W4281618541 hasConcept C204795200 @default.
- W4281618541 hasConcept C22511879 @default.
- W4281618541 hasConcept C2524010 @default.
- W4281618541 hasConcept C2779886137 @default.
- W4281618541 hasConcept C33332235 @default.
- W4281618541 hasConcept C33923547 @default.
- W4281618541 hasConcept C34736171 @default.
- W4281618541 hasConcept C41008148 @default.
- W4281618541 hasConcept C5534955 @default.
- W4281618541 hasConcept C58721731 @default.
- W4281618541 hasConcept C96469262 @default.
- W4281618541 hasConceptScore W4281618541C109214941 @default.
- W4281618541 hasConceptScore W4281618541C121332964 @default.
- W4281618541 hasConceptScore W4281618541C125881977 @default.
- W4281618541 hasConceptScore W4281618541C154945302 @default.
- W4281618541 hasConceptScore W4281618541C192423722 @default.
- W4281618541 hasConceptScore W4281618541C204795200 @default.
- W4281618541 hasConceptScore W4281618541C22511879 @default.
- W4281618541 hasConceptScore W4281618541C2524010 @default.
- W4281618541 hasConceptScore W4281618541C2779886137 @default.
- W4281618541 hasConceptScore W4281618541C33332235 @default.
- W4281618541 hasConceptScore W4281618541C33923547 @default.
- W4281618541 hasConceptScore W4281618541C34736171 @default.
- W4281618541 hasConceptScore W4281618541C41008148 @default.
- W4281618541 hasConceptScore W4281618541C5534955 @default.
- W4281618541 hasConceptScore W4281618541C58721731 @default.
- W4281618541 hasConceptScore W4281618541C96469262 @default.
- W4281618541 hasLocation W42816185411 @default.
- W4281618541 hasOpenAccess W4281618541 @default.
- W4281618541 hasPrimaryLocation W42816185411 @default.
- W4281618541 hasRelatedWork W1572344581 @default.
- W4281618541 hasRelatedWork W1963968559 @default.
- W4281618541 hasRelatedWork W2024010897 @default.
- W4281618541 hasRelatedWork W2214179938 @default.
- W4281618541 hasRelatedWork W2262640697 @default.
- W4281618541 hasRelatedWork W2334797496 @default.
- W4281618541 hasRelatedWork W2381111886 @default.
- W4281618541 hasRelatedWork W2488544030 @default.
- W4281618541 hasRelatedWork W3195273558 @default.
- W4281618541 hasRelatedWork W4205651692 @default.
- W4281618541 isParatext "false" @default.
- W4281618541 isRetracted "false" @default.
- W4281618541 workType "article" @default.