search

kperun / SATPrakPDW

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

Consider Weights (History) after incremental checkCore #63

Open Verdict7 opened 7 years ago

Verdict7 commented 7 years ago

We simply compute all the weights etc. again, maybe scale the old ones up a bit and reuse (if possible)

kperun commented 7 years ago

@Verdict7 Done. Now, whenever initializeWeights() is called, we iterate over all activate candidates and if a candidate is active, we check if has already been initialized or not (weight == -1). For former, we scale it by a new parameter updateFactor, otherwise, we just initialize as before.

kperun commented 7 years ago

This issue needs further discussion regarding the correct parameter updateFactor.

kperun commented 7 years ago

Also for every split (refresh)