Tabu Search and a Quadratic Relaxation for the Satisfiability Problem - Jaumard, Brigitte; Stan, M; Desrosiers, Jacques (Groupe d’études et de recherche en analyse des décisions, 1993)