Combinations of Axioms

Intuition

• Use combinations of axioms

Definition

• Form axiom reduced problems using combinations of K axioms, K = 1..NumberOfAxioms
• Compute the TimePerAxiomReducedProblem as:

    TotalTime
  ------------- 
  2NumberOfAxioms   

Shortcomings

• Order to use combinations is not well defined
• There are 2^{NumberOfAxioms} possible combinations