System Description: MCS: Model-based Conjecture Searching

  • Authors:

  • Jian Zhang; Jian

  • Affiliations:

  • -;-

  • Venue:
  • CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
  • Year:
  • 1999

Quantified Score

Hi-index 0.00

Visualization

Abstract

An enumerative approach to conjecture formulation is presented. Its basic steps include the generation of terms and formulas, and testing the formulas in a set of models. The main procedure and some experimental results are described. References