Parametric Representations of Boolean Constraints.

Mark D. Aagaard, Robert B. Jones, Carl-Johan H. Seger

Browse the full DAC paper archive.