Local Search Algorithm for the Partial Minimum Satisfiability Problem.

Andr Abram, Djamal Habet

Browse the full ICTAI paper archive.