Problem Types

• Satisfaction: already described

  • all solutions: give every satisfying CL
  • any solution: give single satisfying CL
  • unsat: may not be any CL

• Optimizing (Satisficing)

  • give satisfying label optimizing objective score
  • give label close to satisfying