MFSAT: A SAT Solver Using Multi-Flip Local Search. - Amol Dattatraya Mali; Yevgeny Lipen (ICTAI, 2003)