Matches in SemOpenAlex for { <https://semopenalex.org/work/W785400795> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W785400795 abstract "Any CNF formula can be decomposed two blocked subsets such that both can be solved by BCE (Blocked Clause Elimination). To make the decomposition more useful, one hopes to have the decomposition as unbalanced as possible. It is often time consuming to achieve this goal. So far there have been several decomposition and post-processing algorithms such as PureDecompose, QuickDecompose, EagerMover etc. We found that these existing algorithms are often either inefficient or low-quality decomposition. This paper aims at improving the decomposition quality, while keeping the runtime of algorithms under control. To achieve this goal, we improve the existing BCE, and present two new variants of PureDecompose, a new heuristic decomposition called LessInterfereDecompose, and a new post-processing algorithm called RsetGuidedDecompose. Combining these new techniques results in a new algorithm called MixDecompose. In our experiments, there is no application formula where the quality of PureDecompose+EagerMover is better than MixDecompose. In terms of speed, MixDecompose is also very fast. Our average runtime is a little longer, but the worst-case runtime is shorter. In theory, our two variants of PureDecompose requires linear time in the number of clauses. By limiting the size of the touch list used by BCE, we can guarantee always that MixDecompose runs in linear time." @default.
- W785400795 created "2016-06-24" @default.
- W785400795 creator A5003760095 @default.
- W785400795 date "2015-07-02" @default.
- W785400795 modified "2023-09-27" @default.
- W785400795 title "Fast Blocked Clause Decomposition with High Quality." @default.
- W785400795 cites W104044527 @default.
- W785400795 cites W157230443 @default.
- W785400795 cites W1966648469 @default.
- W785400795 cites W2021870295 @default.
- W785400795 cites W2038777323 @default.
- W785400795 cites W2059983062 @default.
- W785400795 cites W2336925918 @default.
- W785400795 hasPublicationYear "2015" @default.
- W785400795 type Work @default.
- W785400795 sameAs 785400795 @default.
- W785400795 citedByCount "5" @default.
- W785400795 countsByYear W7854007952016 @default.
- W785400795 countsByYear W7854007952017 @default.
- W785400795 crossrefType "posted-content" @default.
- W785400795 hasAuthorship W785400795A5003760095 @default.
- W785400795 hasConcept C111472728 @default.
- W785400795 hasConcept C11413529 @default.
- W785400795 hasConcept C118615104 @default.
- W785400795 hasConcept C124681953 @default.
- W785400795 hasConcept C127413603 @default.
- W785400795 hasConcept C138885662 @default.
- W785400795 hasConcept C154945302 @default.
- W785400795 hasConcept C173608175 @default.
- W785400795 hasConcept C173801870 @default.
- W785400795 hasConcept C188198153 @default.
- W785400795 hasConcept C18903297 @default.
- W785400795 hasConcept C2778258933 @default.
- W785400795 hasConcept C2779530757 @default.
- W785400795 hasConcept C33923547 @default.
- W785400795 hasConcept C41008148 @default.
- W785400795 hasConcept C78519656 @default.
- W785400795 hasConcept C86803240 @default.
- W785400795 hasConceptScore W785400795C111472728 @default.
- W785400795 hasConceptScore W785400795C11413529 @default.
- W785400795 hasConceptScore W785400795C118615104 @default.
- W785400795 hasConceptScore W785400795C124681953 @default.
- W785400795 hasConceptScore W785400795C127413603 @default.
- W785400795 hasConceptScore W785400795C138885662 @default.
- W785400795 hasConceptScore W785400795C154945302 @default.
- W785400795 hasConceptScore W785400795C173608175 @default.
- W785400795 hasConceptScore W785400795C173801870 @default.
- W785400795 hasConceptScore W785400795C188198153 @default.
- W785400795 hasConceptScore W785400795C18903297 @default.
- W785400795 hasConceptScore W785400795C2778258933 @default.
- W785400795 hasConceptScore W785400795C2779530757 @default.
- W785400795 hasConceptScore W785400795C33923547 @default.
- W785400795 hasConceptScore W785400795C41008148 @default.
- W785400795 hasConceptScore W785400795C78519656 @default.
- W785400795 hasConceptScore W785400795C86803240 @default.
- W785400795 hasLocation W7854007951 @default.
- W785400795 hasOpenAccess W785400795 @default.
- W785400795 hasPrimaryLocation W7854007951 @default.
- W785400795 hasRelatedWork W1482484961 @default.
- W785400795 hasRelatedWork W1488661425 @default.
- W785400795 hasRelatedWork W1920529013 @default.
- W785400795 hasRelatedWork W1921653233 @default.
- W785400795 hasRelatedWork W1950625 @default.
- W785400795 hasRelatedWork W1953967147 @default.
- W785400795 hasRelatedWork W1992360764 @default.
- W785400795 hasRelatedWork W203992939 @default.
- W785400795 hasRelatedWork W2054278856 @default.
- W785400795 hasRelatedWork W2065408834 @default.
- W785400795 hasRelatedWork W2178963572 @default.
- W785400795 hasRelatedWork W2295254088 @default.
- W785400795 hasRelatedWork W2548194427 @default.
- W785400795 hasRelatedWork W2742149362 @default.
- W785400795 hasRelatedWork W2746032536 @default.
- W785400795 hasRelatedWork W2767007111 @default.
- W785400795 hasRelatedWork W2888510336 @default.
- W785400795 hasRelatedWork W2950073103 @default.
- W785400795 hasRelatedWork W2999074280 @default.
- W785400795 hasRelatedWork W357011158 @default.
- W785400795 isParatext "false" @default.
- W785400795 isRetracted "false" @default.
- W785400795 magId "785400795" @default.
- W785400795 workType "article" @default.