Delay optimization of linear depth boolean circuits with prescribed input arrival times

We consider boolean circuits C over the basis @W={@?,@?} with inputs x"1, x"2,...,x"n for which arrival times t"1,t"2,...,t"[email protected]?N"0 are given. For 1=