Jason Cong, Kirill Minkovich. Improved SAT-based Boolean matching using implicants for LUT-based FPGAs. In André DeHon, Mike Hutton, editors, Proceedings of the ACM/SIGDA 15th International Symposium on Field Programmable Gate Arrays, FPGA 2007, Monterey, California, USA, February 18-20, 2007. pages 139-147, ACM, 2007. [doi]