A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic.
| Autor: | Bobot, François, Conchon, Sylvain, Contejean, Evelyne, Iguernelala, Mohamed, Mahboubi, Assia, Mebsout, Alain, Melquiond, Guillaume |
|---|---|
| Zdroj: | Automated Reasoning (9783642313646); 2012, p67-81, 15p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|