Manipulation

Technique

• Manipulate a theorem to form a conjecture, prove as theorem
• Generalization, specialization, combination
• Examples
  • Abstraction mapping
  • CASC 16½

Advantages

• Produces theorems if satisfiability preserving

Disadvantages

• Artificial theorems ... uninteresting