Improve guess solution by using propagation

kperun / SATPrakPDW

Interval Constraint Propagation strategy implementation for SMTRAT

MIT License

2 stars 0 forks source link

Improve guess solution by using propagation #28

Closed DavidWz closed 7 years ago

DavidWz commented 7 years ago

Currently we are simply using the mid points of intervals as a solution candidate.

We can improve this by picking the mid-point only for a single variable. Then propagation those new constraints (contraction) until we do not get any new/better bounds on other variables. Then we pick the next variable and choose its midpoint... repeat until all variables only have a point-interval.

DavidWz commented 7 years ago

The backend should be able to take care of this.