Combinational logic synthesis for LUT based field programmable gate arrays | ACM Transactions on Design Automation of Electronic Systems (TODAES) | DeepDyve