FRINK Linked Data Fragments server

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

• W2003590658 endingPage "505" @default.
• W2003590658 startingPage "478" @default.
• W2003590658 abstract "This article presents a new low-overhead framework for representing and utilizing problem symmetry in propositional satisfiability algorithms. While many previous approaches have focused on symmetry extraction as a key component, the novelty in the proposed strategy lies in using high level problem description to pass on symmetry information to the SAT solver in a simple and concise form, in addition to the usual conjunctive normal form formula. This information, comprising of the so-called symmetry sets and variable classes, captures variable semantics relevant to “complete multi-class symmetry” and is utilized dynamically to prune the search space. This allows us to address many limitations of alternative approaches like symmetry breaking predicates, implicit pseudo-Boolean representations, general group-theoretic methods, and zero-suppressed binary decision diagrams. We demonstrate the efficacy of our technique through a solver called SymChaff, which achieves exponential speedup over one of the best systematic SAT solvers on problems from both theory and practice, often by simply using natural tags or annotation in the problem specification." @default.
• W2003590658 created "2016-06-24" @default.
• W2003590658 creator A5077726785 @default.
• W2003590658 date "2008-10-09" @default.
• W2003590658 modified "2023-09-26" @default.
• W2003590658 title "SymChaff: exploiting symmetry in a structure-aware satisfiability solver" @default.
• W2003590658 cites W1504010403 @default.
• W2003590658 cites W1509465067 @default.
• W2003590658 cites W1524973174 @default.
• W2003590658 cites W1547380088 @default.
• W2003590658 cites W1603344051 @default.
• W2003590658 cites W1858333687 @default.
• W2003590658 cites W1868221333 @default.
• W2003590658 cites W1985602827 @default.
• W2003590658 cites W1999522767 @default.
• W2003590658 cites W2010880586 @default.
• W2003590658 cites W2017127020 @default.
• W2003590658 cites W2027876313 @default.
• W2003590658 cites W2038193643 @default.
• W2003590658 cites W2039982637 @default.
• W2003590658 cites W2044095368 @default.
• W2003590658 cites W2048413377 @default.
• W2003590658 cites W2057361103 @default.
• W2003590658 cites W2059644853 @default.
• W2003590658 cites W2069767473 @default.
• W2003590658 cites W2119027206 @default.
• W2003590658 cites W2129022098 @default.
• W2003590658 cites W2135613306 @default.
• W2003590658 cites W2142612879 @default.
• W2003590658 cites W2146148755 @default.
• W2003590658 cites W2149987967 @default.
• W2003590658 cites W2153327175 @default.
• W2003590658 cites W2160206419 @default.
• W2003590658 cites W2170795408 @default.
• W2003590658 cites W2171790376 @default.
• W2003590658 cites W2494517118 @default.
• W2003590658 cites W3105601959 @default.
• W2003590658 cites W4229840182 @default.
• W2003590658 cites W4231640108 @default.
• W2003590658 cites W4238171218 @default.
• W2003590658 cites W4247585869 @default.
• W2003590658 doi "https://doi.org/10.1007/s10601-008-9060-1" @default.
• W2003590658 hasPublicationYear "2008" @default.
• W2003590658 type Work @default.
• W2003590658 sameAs 2003590658 @default.
• W2003590658 citedByCount "13" @default.
• W2003590658 countsByYear W20035906582012 @default.
• W2003590658 countsByYear W20035906582013 @default.
• W2003590658 countsByYear W20035906582016 @default.
• W2003590658 countsByYear W20035906582017 @default.
• W2003590658 countsByYear W20035906582018 @default.
• W2003590658 countsByYear W20035906582019 @default.
• W2003590658 countsByYear W20035906582020 @default.
• W2003590658 countsByYear W20035906582022 @default.
• W2003590658 countsByYear W20035906582023 @default.
• W2003590658 crossrefType "journal-article" @default.
• W2003590658 hasAuthorship W2003590658A5077726785 @default.
• W2003590658 hasBestOaLocation W20035906582 @default.
• W2003590658 hasConcept C111919701 @default.
• W2003590658 hasConcept C11413529 @default.
• W2003590658 hasConcept C118615104 @default.
• W2003590658 hasConcept C121332964 @default.
• W2003590658 hasConcept C168773769 @default.
• W2003590658 hasConcept C199360897 @default.
• W2003590658 hasConcept C200415742 @default.
• W2003590658 hasConcept C204795200 @default.
• W2003590658 hasConcept C2524010 @default.
• W2003590658 hasConcept C2778770139 @default.
• W2003590658 hasConcept C2779886137 @default.
• W2003590658 hasConcept C2779960059 @default.
• W2003590658 hasConcept C33923547 @default.
• W2003590658 hasConcept C41008148 @default.
• W2003590658 hasConcept C62520636 @default.
• W2003590658 hasConcept C68339613 @default.
• W2003590658 hasConcept C6943359 @default.
• W2003590658 hasConcept C69562738 @default.
• W2003590658 hasConcept C80444323 @default.
• W2003590658 hasConceptScore W2003590658C111919701 @default.
• W2003590658 hasConceptScore W2003590658C11413529 @default.
• W2003590658 hasConceptScore W2003590658C118615104 @default.
• W2003590658 hasConceptScore W2003590658C121332964 @default.
• W2003590658 hasConceptScore W2003590658C168773769 @default.
• W2003590658 hasConceptScore W2003590658C199360897 @default.
• W2003590658 hasConceptScore W2003590658C200415742 @default.
• W2003590658 hasConceptScore W2003590658C204795200 @default.
• W2003590658 hasConceptScore W2003590658C2524010 @default.
• W2003590658 hasConceptScore W2003590658C2778770139 @default.
• W2003590658 hasConceptScore W2003590658C2779886137 @default.
• W2003590658 hasConceptScore W2003590658C2779960059 @default.
• W2003590658 hasConceptScore W2003590658C33923547 @default.
• W2003590658 hasConceptScore W2003590658C41008148 @default.
• W2003590658 hasConceptScore W2003590658C62520636 @default.
• W2003590658 hasConceptScore W2003590658C68339613 @default.
• W2003590658 hasConceptScore W2003590658C6943359 @default.
• W2003590658 hasConceptScore W2003590658C69562738 @default.
• W2003590658 hasConceptScore W2003590658C80444323 @default.
• W2003590658 hasIssue "4" @default.
• W2003590658 hasLocation W20035906581 @default.

• next