Minimizing the Number of Clauses by Renaming

  • Authors:
  • Thierry Boy de la Tour

  • Affiliations:
  • -

  • Venue:
  • Proceedings of the 10th International Conference on Automated Deduction
  • Year:
  • 1990

Quantified Score

Hi-index 0.00

Visualization

Abstract