Matches in SemOpenAlex for { <https://semopenalex.org/work/W2966102862> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2966102862 abstract "SAT, is one of the fundamental topics in computer science, which has a long history in AI. As a variant of SAT, the all solutions satisfiability problem(AllSAT) is widely used in the field of electronic design automation. It is to generate all or part solutions of a given SAT instance. The computational complexity of AllSAT is higher than general SAT, which leads to less research related and poor performance of existing AllSAT solvers. In this paper, we propose to solve AllSAT by a divide-and-conquer-based approach called DIV2, which solve more instances within the time limit. Besides, we present a segmentation strategy for DIV2, called Jaccard similarity segmentation, which improves the efficiency of DIV2. The experimental result shows that the method proposed in this paper, has a better performance than the state-of-the-art algorithms, with regarding to the number of instances solved and the total number of solutions found for SAT 2014 competition benchmark." @default.
- W2966102862 created "2019-08-13" @default.
- W2966102862 creator A5001104882 @default.
- W2966102862 creator A5086107018 @default.
- W2966102862 creator A5088249084 @default.
- W2966102862 creator A5088701781 @default.
- W2966102862 date "2018-12-01" @default.
- W2966102862 modified "2023-09-26" @default.
- W2966102862 title "A Divide and Conquer Approach to All Solutions Satisfiability Problem" @default.
- W2966102862 cites W1917499934 @default.
- W2966102862 cites W2006912660 @default.
- W2966102862 cites W2036265926 @default.
- W2966102862 cites W2062897452 @default.
- W2966102862 cites W2080267935 @default.
- W2966102862 cites W2110893883 @default.
- W2966102862 cites W2137641996 @default.
- W2966102862 cites W2139720682 @default.
- W2966102862 cites W2324455841 @default.
- W2966102862 cites W2505969429 @default.
- W2966102862 cites W2560087209 @default.
- W2966102862 cites W3123509436 @default.
- W2966102862 doi "https://doi.org/10.1109/compcomm.2018.8780746" @default.
- W2966102862 hasPublicationYear "2018" @default.
- W2966102862 type Work @default.
- W2966102862 sameAs 2966102862 @default.
- W2966102862 citedByCount "2" @default.
- W2966102862 countsByYear W29661028622023 @default.
- W2966102862 crossrefType "proceedings-article" @default.
- W2966102862 hasAuthorship W2966102862A5001104882 @default.
- W2966102862 hasAuthorship W2966102862A5086107018 @default.
- W2966102862 hasAuthorship W2966102862A5088249084 @default.
- W2966102862 hasAuthorship W2966102862A5088701781 @default.
- W2966102862 hasConcept C11413529 @default.
- W2966102862 hasConcept C126255220 @default.
- W2966102862 hasConcept C13280743 @default.
- W2966102862 hasConcept C134306372 @default.
- W2966102862 hasConcept C149635348 @default.
- W2966102862 hasConcept C151201525 @default.
- W2966102862 hasConcept C152062344 @default.
- W2966102862 hasConcept C153180895 @default.
- W2966102862 hasConcept C154945302 @default.
- W2966102862 hasConcept C168773769 @default.
- W2966102862 hasConcept C179799912 @default.
- W2966102862 hasConcept C185798385 @default.
- W2966102862 hasConcept C202444582 @default.
- W2966102862 hasConcept C203519979 @default.
- W2966102862 hasConcept C205649164 @default.
- W2966102862 hasConcept C33923547 @default.
- W2966102862 hasConcept C41008148 @default.
- W2966102862 hasConcept C64260653 @default.
- W2966102862 hasConcept C6943359 @default.
- W2966102862 hasConcept C71559656 @default.
- W2966102862 hasConcept C80444323 @default.
- W2966102862 hasConcept C89600930 @default.
- W2966102862 hasConcept C9652623 @default.
- W2966102862 hasConceptScore W2966102862C11413529 @default.
- W2966102862 hasConceptScore W2966102862C126255220 @default.
- W2966102862 hasConceptScore W2966102862C13280743 @default.
- W2966102862 hasConceptScore W2966102862C134306372 @default.
- W2966102862 hasConceptScore W2966102862C149635348 @default.
- W2966102862 hasConceptScore W2966102862C151201525 @default.
- W2966102862 hasConceptScore W2966102862C152062344 @default.
- W2966102862 hasConceptScore W2966102862C153180895 @default.
- W2966102862 hasConceptScore W2966102862C154945302 @default.
- W2966102862 hasConceptScore W2966102862C168773769 @default.
- W2966102862 hasConceptScore W2966102862C179799912 @default.
- W2966102862 hasConceptScore W2966102862C185798385 @default.
- W2966102862 hasConceptScore W2966102862C202444582 @default.
- W2966102862 hasConceptScore W2966102862C203519979 @default.
- W2966102862 hasConceptScore W2966102862C205649164 @default.
- W2966102862 hasConceptScore W2966102862C33923547 @default.
- W2966102862 hasConceptScore W2966102862C41008148 @default.
- W2966102862 hasConceptScore W2966102862C64260653 @default.
- W2966102862 hasConceptScore W2966102862C6943359 @default.
- W2966102862 hasConceptScore W2966102862C71559656 @default.
- W2966102862 hasConceptScore W2966102862C80444323 @default.
- W2966102862 hasConceptScore W2966102862C89600930 @default.
- W2966102862 hasConceptScore W2966102862C9652623 @default.
- W2966102862 hasLocation W29661028621 @default.
- W2966102862 hasOpenAccess W2966102862 @default.
- W2966102862 hasPrimaryLocation W29661028621 @default.
- W2966102862 hasRelatedWork W138168018 @default.
- W2966102862 hasRelatedWork W1492864441 @default.
- W2966102862 hasRelatedWork W1903055627 @default.
- W2966102862 hasRelatedWork W2043435342 @default.
- W2966102862 hasRelatedWork W2443228692 @default.
- W2966102862 hasRelatedWork W2962755120 @default.
- W2966102862 hasRelatedWork W2966102862 @default.
- W2966102862 hasRelatedWork W29806926 @default.
- W2966102862 hasRelatedWork W2984487768 @default.
- W2966102862 hasRelatedWork W3042708252 @default.
- W2966102862 isParatext "false" @default.
- W2966102862 isRetracted "false" @default.
- W2966102862 magId "2966102862" @default.
- W2966102862 workType "article" @default.