Computational Experience with an Interior Point Algorithm on the Satisfiability Problem.

Anil P. Kamath, Narendra Karmarkar, K. G. Ramakrishnan, Mauricio G. C. Resende

Browse the full IPCO paper archive.