Combinational Circuit Design - Search