ATP Support Software

• System selection
  • Problem characteristics
  • Required solution characteristics

• Problem preparation
  • Logical manipulations
    • Order reduction
    • Equality axiomatization
  • Syntactic manipulation
    • Rewriting connectives
    • Input syntax

• Solution processing

• Control harnesses
  • Problem preparation
  • System execution
    • Process hierarchy control
    • Competition sequential execution
    • Competition parallel execution
    • Multiple system/problem sequential/parallel execution
  • Resource control
    • CPU limit
    • Memory limit
    • WC limit
    • Disk limit and cleaning
  • Solution processing

Exam Style Questions