search

kperun / SATPrakPDW

Interval Constraint Propagation strategy implementation for SMTRAT
MIT License
2 stars 0 forks source link

Improve getBestContractionCandidate by using a history alpha #32

Closed DavidWz closed 7 years ago

DavidWz commented 7 years ago

Refer to the ICP slides from the lecture. A further heuristic is to add a weight to the gain of contraction candidates which stores how often that candidate has been used in the past. Don't forget to add the weight in the settings.

kperun commented 7 years ago

@DavidWz , @Verdict7 issue has been solved. Now each contraction candidate contains a weight which is used for reinforced learning and updated in each getBestContractionCandidate() run. Please review the code and close the issue.