Improved Fixed-Parameter Algorithm for the Minimum Weight 3-SAT Problem.

Venkatesh Raman, Bal Sri Shankar

Browse the full WALCOM paper archive.