Back to Results
First PageMeta Content
Algebra / Mathematics / Linear algebra / Affine geometry / Linear programming / Convex optimization / Group theory / Affine space / Linear combination / Simplex algorithm / Equation solving / Vector space


A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic? Fran¸cois Bobot1 , Sylvain Conchon1 , Evelyne Contejean1 , Mohamed Iguernelala1 , Assia Mahboubi2 , Alain Mebsout1 , and Guillaume Melq
Add to Reading List

Document Date: 2017-07-21 11:03:15


Open Document

File Size: 423,21 KB

Share Result on Facebook
UPDATE