Matches in SemOpenAlex for { <https://semopenalex.org/work/W4366722158> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W4366722158 endingPage "447" @default.
- W4366722158 startingPage "426" @default.
- W4366722158 abstract "Abstract Over the last years, innovative parallel and distributed SAT solving techniques were presented that could impressively exploit the power of modern hardware and cloud systems. Two approaches were particularly successful: (1) search-space splitting in a Divide-and-Conquer (D &C) manner and (2) portfolio-based solving. The latter executes different solvers or configurations of solvers in parallel. For quantified Boolean formulas (QBFs), the extension of propositional logic with quantifiers, there is surprisingly little recent work in this direction compared to SAT. In this paper, we present ParaQooba , a novel framework for parallel and distributed QBF solving which combines D &C parallelization and distribution with portfolio-based solving. Our framework is designed in such a way that it can be easily extended and arbitrary sequential QBF solvers can be integrated out of the box, without any programming effort. We show how ParaQooba orchestrates the collaboration of different solvers for joint problem solving by performing an extensive evaluation on benchmarks from QBFEval’22, the most recent QBF competition." @default.
- W4366722158 created "2023-04-24" @default.
- W4366722158 creator A5037162787 @default.
- W4366722158 creator A5042183912 @default.
- W4366722158 creator A5082596567 @default.
- W4366722158 date "2023-01-01" @default.
- W4366722158 modified "2023-09-30" @default.
- W4366722158 title "ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving" @default.
- W4366722158 cites W1496529478 @default.
- W4366722158 cites W1503377936 @default.
- W4366722158 cites W1886779203 @default.
- W4366722158 cites W2212515300 @default.
- W4366722158 cites W2336733340 @default.
- W4366722158 cites W2404220671 @default.
- W4366722158 cites W2796208770 @default.
- W4366722158 cites W288696217 @default.
- W4366722158 cites W2888429632 @default.
- W4366722158 cites W2931470658 @default.
- W4366722158 cites W2937448176 @default.
- W4366722158 cites W2949458057 @default.
- W4366722158 cites W3006150593 @default.
- W4366722158 cites W3038672651 @default.
- W4366722158 cites W3039860287 @default.
- W4366722158 cites W3126185111 @default.
- W4366722158 cites W3127382562 @default.
- W4366722158 cites W4290774055 @default.
- W4366722158 cites W4317550080 @default.
- W4366722158 cites W99602494 @default.
- W4366722158 doi "https://doi.org/10.1007/978-3-031-30823-9_22" @default.
- W4366722158 hasPublicationYear "2023" @default.
- W4366722158 type Work @default.
- W4366722158 citedByCount "0" @default.
- W4366722158 crossrefType "book-chapter" @default.
- W4366722158 hasAuthorship W4366722158A5037162787 @default.
- W4366722158 hasAuthorship W4366722158A5042183912 @default.
- W4366722158 hasAuthorship W4366722158A5082596567 @default.
- W4366722158 hasBestOaLocation W43667221581 @default.
- W4366722158 hasConcept C106159729 @default.
- W4366722158 hasConcept C11413529 @default.
- W4366722158 hasConcept C162324750 @default.
- W4366722158 hasConcept C165696696 @default.
- W4366722158 hasConcept C173608175 @default.
- W4366722158 hasConcept C199360897 @default.
- W4366722158 hasConcept C2780821815 @default.
- W4366722158 hasConcept C38652104 @default.
- W4366722158 hasConcept C41008148 @default.
- W4366722158 hasConcept C69562738 @default.
- W4366722158 hasConcept C71559656 @default.
- W4366722158 hasConcept C80444323 @default.
- W4366722158 hasConceptScore W4366722158C106159729 @default.
- W4366722158 hasConceptScore W4366722158C11413529 @default.
- W4366722158 hasConceptScore W4366722158C162324750 @default.
- W4366722158 hasConceptScore W4366722158C165696696 @default.
- W4366722158 hasConceptScore W4366722158C173608175 @default.
- W4366722158 hasConceptScore W4366722158C199360897 @default.
- W4366722158 hasConceptScore W4366722158C2780821815 @default.
- W4366722158 hasConceptScore W4366722158C38652104 @default.
- W4366722158 hasConceptScore W4366722158C41008148 @default.
- W4366722158 hasConceptScore W4366722158C69562738 @default.
- W4366722158 hasConceptScore W4366722158C71559656 @default.
- W4366722158 hasConceptScore W4366722158C80444323 @default.
- W4366722158 hasLocation W43667221581 @default.
- W4366722158 hasOpenAccess W4366722158 @default.
- W4366722158 hasPrimaryLocation W43667221581 @default.
- W4366722158 hasRelatedWork W1486246673 @default.
- W4366722158 hasRelatedWork W1607315280 @default.
- W4366722158 hasRelatedWork W1764185321 @default.
- W4366722158 hasRelatedWork W2117014006 @default.
- W4366722158 hasRelatedWork W2284989707 @default.
- W4366722158 hasRelatedWork W2331043530 @default.
- W4366722158 hasRelatedWork W2374725260 @default.
- W4366722158 hasRelatedWork W2393933887 @default.
- W4366722158 hasRelatedWork W2997512100 @default.
- W4366722158 hasRelatedWork W4233815414 @default.
- W4366722158 isParatext "false" @default.
- W4366722158 isRetracted "false" @default.
- W4366722158 workType "book-chapter" @default.