kperun / SATPrakPDW

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

Split > Backend #62

Closed Verdict7 closed 7 years ago

Verdict7 commented 7 years ago

It is better to split into very small intervals than calling the backend (says Stefan). So: Increase maximum number of splits, try not to call backend if split is still possible (and makes sense). This might require some thoughts about memory consumption. Maybe it is possible to save the current intervals more efficiently?