Idea for heuristic for choosing next contraction candidate

kperun / SATPrakPDW

Interval Constraint Propagation strategy implementation for SMTRAT

MIT License

2 stars 0 forks source link

Idea for heuristic for choosing next contraction candidate #36

Closed Verdict7 closed 7 years ago

Verdict7 commented 7 years ago

Additional idea for improving the heuristic: Learn about the problem not just the variables. Similar to var history, but look at the problem in general not just specific variables. This is just an abstract idea right now, it might not be useful or even possible to implement.

DavidWz commented 7 years ago

Closed for now, reopen if you get any more specific ideas.