Inference Rules in Local Search for Max-SAT.

Andr Abram, Djamal Habet

Browse the full ICTAI paper archive.