FISSURE: FInder of Solutions with SUbdefinite REsources. - Tatyana M. Yakhno; G. B. Cheblakov; V. Z. Zilberfain (CDB, 1995)