Anil P. Kamath Narendra Karmarkar K. G. Ramakrishnan Mauricio G. C. Resende Computational Experience with an Interior Point Algorithm on the Satisfiability Problem. 333-349 1990 conf/ipco/1990 IPCO db/conf/ipco/ipco1990.html#KamathKRR90