search

kperun / SATPrakPDW

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

Propagate infeasible subset to other child trees #64

Open Verdict7 opened 7 years ago

Verdict7 commented 7 years ago

When a child tree returns UNSAT, maybe we can use the same contractions to get UNSAT in other child trees. This was Stefan's idea.