Pages that link to "Item:Q2908479"

The following pages link to A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic (Q2908479):

Displaying 2 items.

• New techniques for linear arithmetic: cubes and equalities (Q1688532) (← links)
• $$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation (Q2817292) (← links)