Richard Comploi-Taupe
Richard Comploi-Taupe
On commit 785522426f6abfa2356bff3824c93962b1d5b01d (current state of `phase_saving_and_restarts`), the following exception can occur: ``` Exception in thread "main" java.lang.RuntimeException: Violated NoGood after backtracking.! Should not happen. at at.ac.tuwien.kr.alpha.Util.oops(Util.java:101) at at.ac.tuwien.kr.alpha.solver.DefaultSolver.addAndBackjumpIfNecessary(DefaultSolver.java:260) at...
`DefaultSolver#fixContradiction` returns `conflictAnalysisResult.learnedNoGood`, which, however, must always be `null`. The caller, `DefaultSolver#ingest`, then checks if the returned value is not null (which can never be the case). Something is not...
It would be nice if Alpha supported constants whose values are assigned via the command line (as does clingo). Then, we could write programs like the following: `time(0..maxtime).` The value...
Generating javadoc using `gradle javadoc` yields many warnings and even errors, for example: ``` ...\alpha-asp\Alpha\src\main\java\at\ac\tuwien\kr\alpha\grounder\Unifier.java:83: error: bad use of '>' * if left has A -> B and right has...
`RuleGroundingOrder` already maintains data structures for literal selectivity, but does not compute any values. Method `updateLiteralSelectivity` shall be implemented for this purpose.
A while ago, a set of domain-independent branching heuristics (`BerkMin`, `DependencyDrivenHeuristic`, and their subclasses) has been developed. In contrast to the newly developed `VSIDS`, their runtime performance is not very...
`ReplayHeuristic` has been introduced for #172 and has been implemented in a minimally viable way. In this issue, we collect improvements to be implemented in the future: - [ ]...
Currently, Alpha is able to log a small number of statistical values on the solving process (cf. #51, #99, #102). To gather more data, it could be beneficial to log...
State-of-the-art ASP systems employ sophisticated preprocessing to simplify input programs, thereby improving solving performance. Probably Alpha could benefit from such techniques as well. Example reference: Gebser, M., Kaufmann, B., Neumann,...
Alpha'a predecessor [OMiGA](https://github.com/AntoniusW/omiga) employs _unfolding_ and _shifting_ techniques to learn new non-ground rules during the solving process, thereby improving search performance [1]. Alpha would probably also benefit from such techniques...