Matches in SemOpenAlex for { <https://semopenalex.org/work/W2898857312> ?p ?o ?g. }
- W2898857312 endingPage "248" @default.
- W2898857312 startingPage "225" @default.
- W2898857312 abstract "Answer set programming (ASP) is a successful declarative formalism for knowledge representation and reasoning. The evaluation of ASP programs is nowadays based on the conflict-driven clause learning (CDCL) backtracking search algorithm. Recent work suggested that the performance of CDCL-based implementations can be considerably improved on specific benchmarks by extending their solving capabilities with custom heuristics and propagators. However, embedding such algorithms into existing systems requires expert knowledge of the internals of ASP implementations. The development of effective solver extensions can be made easier by providing suitable programming interfaces. In this paper, we present the interface for extending the CDCL-based ASP solver wasp. The interface is both general , that is, it can be used for providing either new branching heuristics or propagators, and external , that is, the implementation of new algorithms requires no internal modifications of wasp. Moreover, we review the applications of the interface witnessing it can be successfully used to extend wasp for solving effectively hard instances of both real-world and synthetic problems." @default.
- W2898857312 created "2018-11-09" @default.
- W2898857312 creator A5013411309 @default.
- W2898857312 creator A5031224507 @default.
- W2898857312 date "2018-12-10" @default.
- W2898857312 modified "2023-10-14" @default.
- W2898857312 title "The External Interface for Extending WASP" @default.
- W2898857312 cites W1183699148 @default.
- W2898857312 cites W1482532598 @default.
- W2898857312 cites W1518705996 @default.
- W2898857312 cites W1519044014 @default.
- W2898857312 cites W1606891084 @default.
- W2898857312 cites W165019675 @default.
- W2898857312 cites W1787538678 @default.
- W2898857312 cites W1984778493 @default.
- W2898857312 cites W1993398079 @default.
- W2898857312 cites W2022846948 @default.
- W2898857312 cites W2044560939 @default.
- W2898857312 cites W2049791401 @default.
- W2898857312 cites W2076698873 @default.
- W2898857312 cites W2091138122 @default.
- W2898857312 cites W2093907667 @default.
- W2898857312 cites W2101585749 @default.
- W2898857312 cites W2139922246 @default.
- W2898857312 cites W2155618896 @default.
- W2898857312 cites W216667991 @default.
- W2898857312 cites W2174399230 @default.
- W2898857312 cites W2198541531 @default.
- W2898857312 cites W2211798527 @default.
- W2898857312 cites W2237679549 @default.
- W2898857312 cites W2394499116 @default.
- W2898857312 cites W2397927460 @default.
- W2898857312 cites W2401337862 @default.
- W2898857312 cites W2417688306 @default.
- W2898857312 cites W2470660316 @default.
- W2898857312 cites W2506402500 @default.
- W2898857312 cites W2542981480 @default.
- W2898857312 cites W2552503268 @default.
- W2898857312 cites W2554080479 @default.
- W2898857312 cites W2555981498 @default.
- W2898857312 cites W2596210564 @default.
- W2898857312 cites W2728577422 @default.
- W2898857312 cites W2733732676 @default.
- W2898857312 cites W2755687384 @default.
- W2898857312 cites W2963222651 @default.
- W2898857312 cites W3103711452 @default.
- W2898857312 cites W3105413812 @default.
- W2898857312 cites W3106329485 @default.
- W2898857312 cites W4211177236 @default.
- W2898857312 cites W4236922113 @default.
- W2898857312 doi "https://doi.org/10.1017/s1471068418000558" @default.
- W2898857312 hasPublicationYear "2018" @default.
- W2898857312 type Work @default.
- W2898857312 sameAs 2898857312 @default.
- W2898857312 citedByCount "9" @default.
- W2898857312 countsByYear W28988573122019 @default.
- W2898857312 countsByYear W28988573122021 @default.
- W2898857312 countsByYear W28988573122023 @default.
- W2898857312 crossrefType "journal-article" @default.
- W2898857312 hasAuthorship W2898857312A5013411309 @default.
- W2898857312 hasAuthorship W2898857312A5031224507 @default.
- W2898857312 hasBestOaLocation W28988573122 @default.
- W2898857312 hasConcept C111919701 @default.
- W2898857312 hasConcept C113843644 @default.
- W2898857312 hasConcept C127705205 @default.
- W2898857312 hasConcept C129307140 @default.
- W2898857312 hasConcept C142362112 @default.
- W2898857312 hasConcept C153349607 @default.
- W2898857312 hasConcept C154945302 @default.
- W2898857312 hasConcept C156884757 @default.
- W2898857312 hasConcept C157915830 @default.
- W2898857312 hasConcept C161301231 @default.
- W2898857312 hasConcept C171018156 @default.
- W2898857312 hasConcept C173608175 @default.
- W2898857312 hasConcept C177264268 @default.
- W2898857312 hasConcept C182620335 @default.
- W2898857312 hasConcept C199360897 @default.
- W2898857312 hasConcept C2524010 @default.
- W2898857312 hasConcept C26713055 @default.
- W2898857312 hasConcept C2778770139 @default.
- W2898857312 hasConcept C33923547 @default.
- W2898857312 hasConcept C41008148 @default.
- W2898857312 hasConcept C41608201 @default.
- W2898857312 hasConcept C558565934 @default.
- W2898857312 hasConcept C73301696 @default.
- W2898857312 hasConcept C80444323 @default.
- W2898857312 hasConceptScore W2898857312C111919701 @default.
- W2898857312 hasConceptScore W2898857312C113843644 @default.
- W2898857312 hasConceptScore W2898857312C127705205 @default.
- W2898857312 hasConceptScore W2898857312C129307140 @default.
- W2898857312 hasConceptScore W2898857312C142362112 @default.
- W2898857312 hasConceptScore W2898857312C153349607 @default.
- W2898857312 hasConceptScore W2898857312C154945302 @default.
- W2898857312 hasConceptScore W2898857312C156884757 @default.
- W2898857312 hasConceptScore W2898857312C157915830 @default.
- W2898857312 hasConceptScore W2898857312C161301231 @default.
- W2898857312 hasConceptScore W2898857312C171018156 @default.
- W2898857312 hasConceptScore W2898857312C173608175 @default.