Report - Coping with NP-completeness Local Search · CSE 589 -Lecture 4 -Autumn 2001 3 • Input: A Boolean formula F with at most 3 literals per clause. • Output: Determine if F is satisfiable.

Please pass captcha verification before submit form