Comments

• Where did DP go?

• DP call evaporates!

  • First step in U-evaluate is to call E-evaluate
  • We are always reasoning on existentials first
  • DP could be used as heuristic on soft clauses
  • As could WalkSAT ...

Where is unknown value set?

• Unknown value is set implicitly

  • when U-evaluate calls E-evaluate without setting universal

Previous slide

Next slide

Back to first slide

View graphic version