Matches in SemOpenAlex for { <https://semopenalex.org/work/W4297130792> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W4297130792 abstract "Answer Set Programming (ASP) is a popular logic programming paradigm that has been applied for solving a variety of complex problems. Among the most challenging real-world applications of ASP are two industrial problems defined by Siemens: the Partner Units Problem (PUP) and the Combined Configuration Problem (CCP). The hardest instances of PUP and CCP are out of reach for state-of-the-art ASP solvers. Experiments show that the performance of ASP solvers could be significantly improved by embedding domain-specific heuristics, but a proper effective integration of such criteria in off-the-shelf ASP implementations is not obvious. In this paper the combination of ASP and domain-specific heuristics is studied with the goal of effectively solving real-world problem instances of PUP and CCP. As a byproduct of this activity, the ASP solver WASP was extended with an interface that eases embedding new external heuristics in the solver. The evaluation shows that our domain-heuristic-driven ASP solver finds solutions for all the real-world instances of PUP and CCP ever provided by Siemens. This paper is under consideration for acceptance in TPLP." @default.
- W4297130792 created "2022-09-27" @default.
- W4297130792 creator A5002604860 @default.
- W4297130792 creator A5011797485 @default.
- W4297130792 creator A5019306962 @default.
- W4297130792 creator A5031224507 @default.
- W4297130792 creator A5037243675 @default.
- W4297130792 creator A5083667930 @default.
- W4297130792 date "2016-08-02" @default.
- W4297130792 modified "2023-09-28" @default.
- W4297130792 title "Combining Answer Set Programming and Domain Heuristics for Solving Hard Industrial Problems (Application Paper)" @default.
- W4297130792 doi "https://doi.org/10.48550/arxiv.1608.00730" @default.
- W4297130792 hasPublicationYear "2016" @default.
- W4297130792 type Work @default.
- W4297130792 citedByCount "0" @default.
- W4297130792 crossrefType "posted-content" @default.
- W4297130792 hasAuthorship W4297130792A5002604860 @default.
- W4297130792 hasAuthorship W4297130792A5011797485 @default.
- W4297130792 hasAuthorship W4297130792A5019306962 @default.
- W4297130792 hasAuthorship W4297130792A5031224507 @default.
- W4297130792 hasAuthorship W4297130792A5037243675 @default.
- W4297130792 hasAuthorship W4297130792A5083667930 @default.
- W4297130792 hasBestOaLocation W42971307921 @default.
- W4297130792 hasConcept C100053769 @default.
- W4297130792 hasConcept C111919701 @default.
- W4297130792 hasConcept C115903868 @default.
- W4297130792 hasConcept C119599485 @default.
- W4297130792 hasConcept C126255220 @default.
- W4297130792 hasConcept C127413603 @default.
- W4297130792 hasConcept C127705205 @default.
- W4297130792 hasConcept C134306372 @default.
- W4297130792 hasConcept C154945302 @default.
- W4297130792 hasConcept C173801870 @default.
- W4297130792 hasConcept C177264268 @default.
- W4297130792 hasConcept C182620335 @default.
- W4297130792 hasConcept C199360897 @default.
- W4297130792 hasConcept C26713055 @default.
- W4297130792 hasConcept C2778770139 @default.
- W4297130792 hasConcept C3019612716 @default.
- W4297130792 hasConcept C33923547 @default.
- W4297130792 hasConcept C36503486 @default.
- W4297130792 hasConcept C41008148 @default.
- W4297130792 hasConcept C41608201 @default.
- W4297130792 hasConcept C80444323 @default.
- W4297130792 hasConceptScore W4297130792C100053769 @default.
- W4297130792 hasConceptScore W4297130792C111919701 @default.
- W4297130792 hasConceptScore W4297130792C115903868 @default.
- W4297130792 hasConceptScore W4297130792C119599485 @default.
- W4297130792 hasConceptScore W4297130792C126255220 @default.
- W4297130792 hasConceptScore W4297130792C127413603 @default.
- W4297130792 hasConceptScore W4297130792C127705205 @default.
- W4297130792 hasConceptScore W4297130792C134306372 @default.
- W4297130792 hasConceptScore W4297130792C154945302 @default.
- W4297130792 hasConceptScore W4297130792C173801870 @default.
- W4297130792 hasConceptScore W4297130792C177264268 @default.
- W4297130792 hasConceptScore W4297130792C182620335 @default.
- W4297130792 hasConceptScore W4297130792C199360897 @default.
- W4297130792 hasConceptScore W4297130792C26713055 @default.
- W4297130792 hasConceptScore W4297130792C2778770139 @default.
- W4297130792 hasConceptScore W4297130792C3019612716 @default.
- W4297130792 hasConceptScore W4297130792C33923547 @default.
- W4297130792 hasConceptScore W4297130792C36503486 @default.
- W4297130792 hasConceptScore W4297130792C41008148 @default.
- W4297130792 hasConceptScore W4297130792C41608201 @default.
- W4297130792 hasConceptScore W4297130792C80444323 @default.
- W4297130792 hasLocation W42971307921 @default.
- W4297130792 hasOpenAccess W4297130792 @default.
- W4297130792 hasPrimaryLocation W42971307921 @default.
- W4297130792 hasRelatedWork W1554238444 @default.
- W4297130792 hasRelatedWork W1991970232 @default.
- W4297130792 hasRelatedWork W2248956692 @default.
- W4297130792 hasRelatedWork W2375449373 @default.
- W4297130792 hasRelatedWork W2506402500 @default.
- W4297130792 hasRelatedWork W2549617457 @default.
- W4297130792 hasRelatedWork W2951277649 @default.
- W4297130792 hasRelatedWork W3049051839 @default.
- W4297130792 hasRelatedWork W3165734945 @default.
- W4297130792 hasRelatedWork W50999281 @default.
- W4297130792 isParatext "false" @default.
- W4297130792 isRetracted "false" @default.
- W4297130792 workType "article" @default.