Matches in SemOpenAlex for { <https://semopenalex.org/work/W2989743341> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2989743341 abstract "Dynamic symmetry breaking in Boolean satisfiability problems (SAT) is often performed by adding symmetric versions of the learned clauses into the clause database. Using a notion of augmented clause every symmetric version can be learned. The task of unit propagation is then transformed into a search problem under a permutation group. Our work focuses on a special kind of symmetry called row symmetry. We present the optimization to the search problem under a group containing row symmetry subgroups mainly relies on lexicographic pruning and the fact that some instances can be reduced to minimal assignment problems. We also introduce a construction of subgroups of row symmetry groups to ensure that every sub-task could be performed in polynomial time. Lastly, we discuss the implementation of our technique and some of the technical issue that needed to be address." @default.
- W2989743341 created "2019-12-05" @default.
- W2989743341 creator A5011183892 @default.
- W2989743341 creator A5017858305 @default.
- W2989743341 date "2018-12-01" @default.
- W2989743341 modified "2023-10-10" @default.
- W2989743341 title "Dynamic Symmetry Breaking in SAT using Augmented Clauses with a Polynomial-Time Lexicographic Pruning" @default.
- W2989743341 cites W1999393621 @default.
- W2989743341 cites W2003590658 @default.
- W2989743341 cites W2011388930 @default.
- W2989743341 cites W2032950096 @default.
- W2989743341 cites W2037593836 @default.
- W2989743341 cites W2117005051 @default.
- W2989743341 cites W2129022098 @default.
- W2989743341 cites W2130088495 @default.
- W2989743341 cites W2149987967 @default.
- W2989743341 cites W2499282942 @default.
- W2989743341 cites W2742197492 @default.
- W2989743341 cites W3105601959 @default.
- W2989743341 doi "https://doi.org/10.1109/eecs.2018.00053" @default.
- W2989743341 hasPublicationYear "2018" @default.
- W2989743341 type Work @default.
- W2989743341 sameAs 2989743341 @default.
- W2989743341 citedByCount "1" @default.
- W2989743341 countsByYear W29897433412022 @default.
- W2989743341 crossrefType "proceedings-article" @default.
- W2989743341 hasAuthorship W2989743341A5011183892 @default.
- W2989743341 hasAuthorship W2989743341A5017858305 @default.
- W2989743341 hasConcept C108010975 @default.
- W2989743341 hasConcept C11413529 @default.
- W2989743341 hasConcept C114614502 @default.
- W2989743341 hasConcept C118615104 @default.
- W2989743341 hasConcept C121332964 @default.
- W2989743341 hasConcept C136119220 @default.
- W2989743341 hasConcept C159254197 @default.
- W2989743341 hasConcept C162324750 @default.
- W2989743341 hasConcept C168773769 @default.
- W2989743341 hasConcept C187736073 @default.
- W2989743341 hasConcept C202444582 @default.
- W2989743341 hasConcept C21308566 @default.
- W2989743341 hasConcept C24890656 @default.
- W2989743341 hasConcept C2524010 @default.
- W2989743341 hasConcept C2779886137 @default.
- W2989743341 hasConcept C2780451532 @default.
- W2989743341 hasConcept C311688 @default.
- W2989743341 hasConcept C33923547 @default.
- W2989743341 hasConcept C41008148 @default.
- W2989743341 hasConcept C6557445 @default.
- W2989743341 hasConcept C6943359 @default.
- W2989743341 hasConcept C80444323 @default.
- W2989743341 hasConcept C86803240 @default.
- W2989743341 hasConceptScore W2989743341C108010975 @default.
- W2989743341 hasConceptScore W2989743341C11413529 @default.
- W2989743341 hasConceptScore W2989743341C114614502 @default.
- W2989743341 hasConceptScore W2989743341C118615104 @default.
- W2989743341 hasConceptScore W2989743341C121332964 @default.
- W2989743341 hasConceptScore W2989743341C136119220 @default.
- W2989743341 hasConceptScore W2989743341C159254197 @default.
- W2989743341 hasConceptScore W2989743341C162324750 @default.
- W2989743341 hasConceptScore W2989743341C168773769 @default.
- W2989743341 hasConceptScore W2989743341C187736073 @default.
- W2989743341 hasConceptScore W2989743341C202444582 @default.
- W2989743341 hasConceptScore W2989743341C21308566 @default.
- W2989743341 hasConceptScore W2989743341C24890656 @default.
- W2989743341 hasConceptScore W2989743341C2524010 @default.
- W2989743341 hasConceptScore W2989743341C2779886137 @default.
- W2989743341 hasConceptScore W2989743341C2780451532 @default.
- W2989743341 hasConceptScore W2989743341C311688 @default.
- W2989743341 hasConceptScore W2989743341C33923547 @default.
- W2989743341 hasConceptScore W2989743341C41008148 @default.
- W2989743341 hasConceptScore W2989743341C6557445 @default.
- W2989743341 hasConceptScore W2989743341C6943359 @default.
- W2989743341 hasConceptScore W2989743341C80444323 @default.
- W2989743341 hasConceptScore W2989743341C86803240 @default.
- W2989743341 hasLocation W29897433411 @default.
- W2989743341 hasOpenAccess W2989743341 @default.
- W2989743341 hasPrimaryLocation W29897433411 @default.
- W2989743341 hasRelatedWork W1641228628 @default.
- W2989743341 hasRelatedWork W1997761872 @default.
- W2989743341 hasRelatedWork W2014591357 @default.
- W2989743341 hasRelatedWork W2083870903 @default.
- W2989743341 hasRelatedWork W2170235299 @default.
- W2989743341 hasRelatedWork W2225885111 @default.
- W2989743341 hasRelatedWork W2500727157 @default.
- W2989743341 hasRelatedWork W2912813468 @default.
- W2989743341 hasRelatedWork W3176904788 @default.
- W2989743341 hasRelatedWork W4299144826 @default.
- W2989743341 isParatext "false" @default.
- W2989743341 isRetracted "false" @default.
- W2989743341 magId "2989743341" @default.
- W2989743341 workType "article" @default.