Goals and benchmarks for automated map reasoning

  • Authors:

  • Andrea Formisano;Eugenio G. Omodeo;Marco Temperini

  • Affiliations:

  • Univ. “La Sapienza” of Rome, Italy;Univ. of L'Aquila, Italy;Univ. “La Sapienza” of Rome, Italy

  • Venue:
  • Journal of Symbolic Computation - Special issue on advances in first-order theorem proving
  • Year:
  • 2000

Quantified Score

Hi-index 0.01

Visualization

Abstract