Sean Safarpour Andreas G. Veneris Gregg Baeckler Richard Yuan Efficient SAT-based Boolean matching for FPGA technology mapping. 466-471 2006 conf/dac/2006 DAC http://doi.acm.org/10.1145/1146909.1147034 db/conf/dac/dac2006.html#SafarpourVBY06