REMIS Example Data

2-Dimensional Multiindex Transportation Problem

Context	ofsf
Domain	reals
Fileid	mtp2
Name	MTP-2
Title	2-Dimensional Multiindex Transportation Problem
Xtitle	2-Dimensional Multiindex Transportation Problem

Citing Papers

• LoosWeispfenning_93 (page 459-460) Applying Linear Quantifier Elimination

Source code of the example

• The formatted input file
• The plain input file