Banerjee test って聞いたことなくて、何かと思ったけど、 http://www.cse.iitb.ac.in/~CS616/Papers/Vilas.I.Test.pdf の初めの方を読むと a1*x1 + … + an*xn = c という式の左辺を区間演算(interval arithmetic)で計算して、結果の区間にcが含まれなければ充足不能、というテストのことでいいのかな。