Parallel and scalable architecture for solving SATisfiability on reconfigurable FPGA. - Tarachand Pagarani; Fatih Kocan; Daniel G. Saab; Jacob A. Abraham (CICC, 2000)