On Fourier's algorithm for linear arithmetic constraints (Q688575)

From MaRDI portal





scientific article; zbMATH DE number 444948
Language Label Description Also known as
default for all languages
No label defined
    English
    On Fourier's algorithm for linear arithmetic constraints
    scientific article; zbMATH DE number 444948

      Statements

      Identifiers