Matches in SemOpenAlex for { <https://semopenalex.org/work/W7000807> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W7000807 endingPage "1563" @default.
- W7000807 startingPage "1562" @default.
- W7000807 abstract "We define a new heuristic hDS for ASP, and implement it in the (disjunctive) ASP system DLV. The new heuristic improves the evaluation of Σ2P/Π2P - hard ASP programs while maintaining the benign behaviour of the well-assessed heuristic of DLV on NP problems. We experiment with the new heuristic on QBFs. hDS significantly outperforms the heuristic of DLV on hard 2QBF problems. We compare also the DLV system (with the new heuristic hDS) to three prominent QBF solvers. The results of the comparison, performed on instances used in the last QBF competition, indicate that ASP systems can be faster than QBF systems on Σ2P/Π2P-hard problems." @default.
- W7000807 created "2016-06-24" @default.
- W7000807 creator A5002604860 @default.
- W7000807 creator A5013411309 @default.
- W7000807 creator A5017101409 @default.
- W7000807 date "2005-07-30" @default.
- W7000807 modified "2023-09-28" @default.
- W7000807 title "Heuristics for hard ASP programs" @default.
- W7000807 cites W1496518193 @default.
- W7000807 cites W1511336005 @default.
- W7000807 cites W1553278548 @default.
- W7000807 cites W1606891084 @default.
- W7000807 cites W1916519491 @default.
- W7000807 cites W1976055110 @default.
- W7000807 cites W2022397086 @default.
- W7000807 cites W2023141722 @default.
- W7000807 cites W2295882966 @default.
- W7000807 cites W58471491 @default.
- W7000807 hasPublicationYear "2005" @default.
- W7000807 type Work @default.
- W7000807 sameAs 7000807 @default.
- W7000807 citedByCount "1" @default.
- W7000807 crossrefType "proceedings-article" @default.
- W7000807 hasAuthorship W7000807A5002604860 @default.
- W7000807 hasAuthorship W7000807A5013411309 @default.
- W7000807 hasAuthorship W7000807A5017101409 @default.
- W7000807 hasConcept C111919701 @default.
- W7000807 hasConcept C126255220 @default.
- W7000807 hasConcept C127705205 @default.
- W7000807 hasConcept C154945302 @default.
- W7000807 hasConcept C173801870 @default.
- W7000807 hasConcept C33923547 @default.
- W7000807 hasConcept C41008148 @default.
- W7000807 hasConceptScore W7000807C111919701 @default.
- W7000807 hasConceptScore W7000807C126255220 @default.
- W7000807 hasConceptScore W7000807C127705205 @default.
- W7000807 hasConceptScore W7000807C154945302 @default.
- W7000807 hasConceptScore W7000807C173801870 @default.
- W7000807 hasConceptScore W7000807C33923547 @default.
- W7000807 hasConceptScore W7000807C41008148 @default.
- W7000807 hasLocation W70008071 @default.
- W7000807 hasOpenAccess W7000807 @default.
- W7000807 hasPrimaryLocation W70008071 @default.
- W7000807 hasRelatedWork W1511910341 @default.
- W7000807 hasRelatedWork W1523301697 @default.
- W7000807 hasRelatedWork W1608616693 @default.
- W7000807 hasRelatedWork W1655027005 @default.
- W7000807 hasRelatedWork W1751533173 @default.
- W7000807 hasRelatedWork W186758799 @default.
- W7000807 hasRelatedWork W1970908002 @default.
- W7000807 hasRelatedWork W2095904973 @default.
- W7000807 hasRelatedWork W2098302118 @default.
- W7000807 hasRelatedWork W2165291970 @default.
- W7000807 hasRelatedWork W2274933339 @default.
- W7000807 hasRelatedWork W2571845910 @default.
- W7000807 hasRelatedWork W2782879883 @default.
- W7000807 hasRelatedWork W2951277649 @default.
- W7000807 hasRelatedWork W2963406506 @default.
- W7000807 hasRelatedWork W3018258968 @default.
- W7000807 hasRelatedWork W3211311018 @default.
- W7000807 hasRelatedWork W58471491 @default.
- W7000807 hasRelatedWork W633209679 @default.
- W7000807 hasRelatedWork W2184384167 @default.
- W7000807 isParatext "false" @default.
- W7000807 isRetracted "false" @default.
- W7000807 magId "7000807" @default.
- W7000807 workType "article" @default.