Alpha icon indicating copy to clipboard operation
Alpha copied to clipboard

Published 20 hours ago • verified publisher icon alpha-asp

Revise domain-independent heuristics

Open rtaupe opened this issue 5 years ago • 4 comments

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 good and must be improved. Also, some design decisions might have to be revised (e.g., do we need both methods violatedNoGood and analyzedConflict)?

rtaupe avatar Apr 02 '19 19:04 rtaupe