MFSAT: A SAT Solver Using Multi-Flip Local Search.

Amol Dattatraya Mali, Yevgeny Lipen

Browse the full ICTAI paper archive.