Modeling Intractable Problems by Bilinear Programming