Design and S
Monotonic Circuits P
Integer linear programming-based synthesis of skewed logic circuits