Matches in SemOpenAlex for { <https://semopenalex.org/work/W1602572666> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W1602572666 abstract "The 32-bit hwb (hwb-n32 for short) problem is from equivalence checking that arises in combining two circuits computing the hidden weighted bit function. Since 2002, it remains still unsolvable in every SAT competition. This paper focuses on solving problems such as hwb-n32. Generally speaking, modern solvers can detect only XOR, AND, OR and ITE gates. Other non-clausal formulas (propositional logic structures) cannot be detected. To solve the hwb-n32 problem, we extract dynamically some special propositional logic structures, and then use a variant of DPLL-based solvers to solve the subproblem simplified by the extracted structure information. Using the dynamic extraction technique, we solved efficiently the hwb-n32 problem, even some of which were solved within 3000 seconds." @default.
- W1602572666 created "2016-06-24" @default.
- W1602572666 creator A5003760095 @default.
- W1602572666 date "2011-06-07" @default.
- W1602572666 modified "2023-09-27" @default.
- W1602572666 title "Exploiting Dynamically Propositional Logic Structures in SAT" @default.
- W1602572666 cites W1566273688 @default.
- W1602572666 cites W1588099523 @default.
- W1602572666 cites W1598398537 @default.
- W1602572666 cites W1600002932 @default.
- W1602572666 cites W1839246176 @default.
- W1602572666 cites W2038690430 @default.
- W1602572666 cites W2117188169 @default.
- W1602572666 cites W2133527541 @default.
- W1602572666 cites W2165661129 @default.
- W1602572666 cites W2610670194 @default.
- W1602572666 cites W60032993 @default.
- W1602572666 cites W82625556 @default.
- W1602572666 hasPublicationYear "2011" @default.
- W1602572666 type Work @default.
- W1602572666 sameAs 1602572666 @default.
- W1602572666 citedByCount "0" @default.
- W1602572666 crossrefType "posted-content" @default.
- W1602572666 hasAuthorship W1602572666A5003760095 @default.
- W1602572666 hasConcept C102993220 @default.
- W1602572666 hasConcept C11413529 @default.
- W1602572666 hasConcept C118615104 @default.
- W1602572666 hasConcept C14523651 @default.
- W1602572666 hasConcept C199343813 @default.
- W1602572666 hasConcept C199360897 @default.
- W1602572666 hasConcept C203659156 @default.
- W1602572666 hasConcept C2777686260 @default.
- W1602572666 hasConcept C2780069185 @default.
- W1602572666 hasConcept C33203268 @default.
- W1602572666 hasConcept C33923547 @default.
- W1602572666 hasConcept C3845977 @default.
- W1602572666 hasConcept C41008148 @default.
- W1602572666 hasConcept C69562738 @default.
- W1602572666 hasConcept C71924100 @default.
- W1602572666 hasConcept C80444323 @default.
- W1602572666 hasConceptScore W1602572666C102993220 @default.
- W1602572666 hasConceptScore W1602572666C11413529 @default.
- W1602572666 hasConceptScore W1602572666C118615104 @default.
- W1602572666 hasConceptScore W1602572666C14523651 @default.
- W1602572666 hasConceptScore W1602572666C199343813 @default.
- W1602572666 hasConceptScore W1602572666C199360897 @default.
- W1602572666 hasConceptScore W1602572666C203659156 @default.
- W1602572666 hasConceptScore W1602572666C2777686260 @default.
- W1602572666 hasConceptScore W1602572666C2780069185 @default.
- W1602572666 hasConceptScore W1602572666C33203268 @default.
- W1602572666 hasConceptScore W1602572666C33923547 @default.
- W1602572666 hasConceptScore W1602572666C3845977 @default.
- W1602572666 hasConceptScore W1602572666C41008148 @default.
- W1602572666 hasConceptScore W1602572666C69562738 @default.
- W1602572666 hasConceptScore W1602572666C71924100 @default.
- W1602572666 hasConceptScore W1602572666C80444323 @default.
- W1602572666 hasLocation W16025726661 @default.
- W1602572666 hasOpenAccess W1602572666 @default.
- W1602572666 hasPrimaryLocation W16025726661 @default.
- W1602572666 hasRelatedWork W108963745 @default.
- W1602572666 hasRelatedWork W1489411336 @default.
- W1602572666 hasRelatedWork W1500415104 @default.
- W1602572666 hasRelatedWork W1530605120 @default.
- W1602572666 hasRelatedWork W170245869 @default.
- W1602572666 hasRelatedWork W1764895594 @default.
- W1602572666 hasRelatedWork W1985951935 @default.
- W1602572666 hasRelatedWork W1990083896 @default.
- W1602572666 hasRelatedWork W2037680703 @default.
- W1602572666 hasRelatedWork W2047769025 @default.
- W1602572666 hasRelatedWork W2048413377 @default.
- W1602572666 hasRelatedWork W2081058391 @default.
- W1602572666 hasRelatedWork W2100699693 @default.
- W1602572666 hasRelatedWork W2117587600 @default.
- W1602572666 hasRelatedWork W2118146950 @default.
- W1602572666 hasRelatedWork W2141780739 @default.
- W1602572666 hasRelatedWork W2150520488 @default.
- W1602572666 hasRelatedWork W2296705333 @default.
- W1602572666 hasRelatedWork W2604674395 @default.
- W1602572666 hasRelatedWork W893175933 @default.
- W1602572666 isParatext "false" @default.
- W1602572666 isRetracted "false" @default.
- W1602572666 magId "1602572666" @default.
- W1602572666 workType "article" @default.