Matches in SemOpenAlex for { <https://semopenalex.org/work/W2963867061> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2963867061 startingPage "13" @default.
- W2963867061 abstract "Efficient, exact parameterized algorithms are a vibrant theoretical research area. Recent solving competitions, such as the PACE challenge, show that there is also increasing practical interest in the parameterized algorithms community. An important research question is whether such algorithms can be built to efficiently solve specific problems in practice, that is, to be competitive with established solving systems. In this paper, we consider Answer Set Programming (ASP), a logic-based declarative modeling and problem solving framework. State-of-the-art ASP solvers generally rely on SAT-based algorithms. In addition, DynASP2, an ASP solver that is based on a classical dynamic programming on tree decompositions, has recently been introduced. DynASP2 outperforms modern ASP solvers when the goal is to count the number of solutions of programs that have small treewidth. However, for quickly finding one solutions, DynASP2 proved uncompetitive. In this paper, we present a new algorithm and implementation, called DynASP2.5, that shows competitive behavior compared to state-of-the-art ASP solvers on problems like Steiner tree for low-treewidth graphs, even when thetask is to find just one solution. Our implementation is based on a novel approach that we call multi-pass dynamic programming." @default.
- W2963867061 created "2019-07-30" @default.
- W2963867061 creator A5050387054 @default.
- W2963867061 creator A5056989280 @default.
- W2963867061 creator A5089442472 @default.
- W2963867061 creator A5006053030 @default.
- W2963867061 date "2018-01-01" @default.
- W2963867061 modified "2023-09-22" @default.
- W2963867061 title "DynASP2.5: Dynamic Programming on Tree Decompositions in Action" @default.
- W2963867061 doi "https://doi.org/10.4230/lipics.ipec.2017.17" @default.
- W2963867061 hasPublicationYear "2018" @default.
- W2963867061 type Work @default.
- W2963867061 sameAs 2963867061 @default.
- W2963867061 citedByCount "0" @default.
- W2963867061 crossrefType "proceedings-article" @default.
- W2963867061 hasAuthorship W2963867061A5006053030 @default.
- W2963867061 hasAuthorship W2963867061A5050387054 @default.
- W2963867061 hasAuthorship W2963867061A5056989280 @default.
- W2963867061 hasAuthorship W2963867061A5089442472 @default.
- W2963867061 hasConcept C113174947 @default.
- W2963867061 hasConcept C11413529 @default.
- W2963867061 hasConcept C126255220 @default.
- W2963867061 hasConcept C128838566 @default.
- W2963867061 hasConcept C132525143 @default.
- W2963867061 hasConcept C132569581 @default.
- W2963867061 hasConcept C134306372 @default.
- W2963867061 hasConcept C165464430 @default.
- W2963867061 hasConcept C177264268 @default.
- W2963867061 hasConcept C182620335 @default.
- W2963867061 hasConcept C199360897 @default.
- W2963867061 hasConcept C203776342 @default.
- W2963867061 hasConcept C2778770139 @default.
- W2963867061 hasConcept C33923547 @default.
- W2963867061 hasConcept C37404715 @default.
- W2963867061 hasConcept C41008148 @default.
- W2963867061 hasConcept C43517604 @default.
- W2963867061 hasConcept C48103436 @default.
- W2963867061 hasConcept C76220878 @default.
- W2963867061 hasConcept C80444323 @default.
- W2963867061 hasConceptScore W2963867061C113174947 @default.
- W2963867061 hasConceptScore W2963867061C11413529 @default.
- W2963867061 hasConceptScore W2963867061C126255220 @default.
- W2963867061 hasConceptScore W2963867061C128838566 @default.
- W2963867061 hasConceptScore W2963867061C132525143 @default.
- W2963867061 hasConceptScore W2963867061C132569581 @default.
- W2963867061 hasConceptScore W2963867061C134306372 @default.
- W2963867061 hasConceptScore W2963867061C165464430 @default.
- W2963867061 hasConceptScore W2963867061C177264268 @default.
- W2963867061 hasConceptScore W2963867061C182620335 @default.
- W2963867061 hasConceptScore W2963867061C199360897 @default.
- W2963867061 hasConceptScore W2963867061C203776342 @default.
- W2963867061 hasConceptScore W2963867061C2778770139 @default.
- W2963867061 hasConceptScore W2963867061C33923547 @default.
- W2963867061 hasConceptScore W2963867061C37404715 @default.
- W2963867061 hasConceptScore W2963867061C41008148 @default.
- W2963867061 hasConceptScore W2963867061C43517604 @default.
- W2963867061 hasConceptScore W2963867061C48103436 @default.
- W2963867061 hasConceptScore W2963867061C76220878 @default.
- W2963867061 hasConceptScore W2963867061C80444323 @default.
- W2963867061 hasLocation W29638670611 @default.
- W2963867061 hasOpenAccess W2963867061 @default.
- W2963867061 hasPrimaryLocation W29638670611 @default.
- W2963867061 hasRelatedWork W2101585749 @default.
- W2963867061 hasRelatedWork W2185085875 @default.
- W2963867061 hasRelatedWork W2250641808 @default.
- W2963867061 hasRelatedWork W2406975053 @default.
- W2963867061 hasRelatedWork W2472934748 @default.
- W2963867061 hasRelatedWork W2601104151 @default.
- W2963867061 hasRelatedWork W2726628504 @default.
- W2963867061 hasRelatedWork W2750984631 @default.
- W2963867061 hasRelatedWork W2795576484 @default.
- W2963867061 hasRelatedWork W2903626267 @default.
- W2963867061 hasRelatedWork W2906859624 @default.
- W2963867061 hasRelatedWork W2907335633 @default.
- W2963867061 hasRelatedWork W2924010893 @default.
- W2963867061 hasRelatedWork W3003697368 @default.
- W2963867061 hasRelatedWork W3040346023 @default.
- W2963867061 hasRelatedWork W3099669149 @default.
- W2963867061 hasRelatedWork W3181629460 @default.
- W2963867061 hasRelatedWork W3190349335 @default.
- W2963867061 hasRelatedWork W58471491 @default.
- W2963867061 hasRelatedWork W98741451 @default.
- W2963867061 hasVolume "89" @default.
- W2963867061 isParatext "false" @default.
- W2963867061 isRetracted "false" @default.
- W2963867061 magId "2963867061" @default.
- W2963867061 workType "article" @default.