Divisions

Competition Divisions

• The FOF Division (FOF axioms with a provable conjecture)
  • 2 problem categories (for analysis of specialization);
    2 ranking classes

• The CNF Division (unsatisfiable clause sets)
  • 5 problem categories; 2 ranking classes (for analysis of cappability)

• The SAT Division (satisfiable clause sets)
  • 2 problem categories; 2 ranking classes

• The EPR Division (finite HU clause sets)
  • 2 problem categories; 1 ranking class

• The UEQ Division (unsatisfiable unit equality clauses)
  • 1 problem category; 1 ranking class

Demonstration Division

• Special hardware
• Special entrants