The Structure of Simple Sets in Z3

  • Authors:

  • S. I. Veselov;A. Yu. Chirkov

  • Affiliations:

  • Nizhni Novgorod State University, Nizhni Novgorod, Russia;Nizhni Novgorod State University, Nizhni Novgorod, Russia

  • Venue:
  • Automation and Remote Control
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

Abstract

Polyhedrons in which every integral point belonging to them is a vertex are studied.