Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure

MLA

Herde, Christian. Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure. Vieweg+Teubner, 2011.

APA

Herde, C. (2011). Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure. Vieweg+Teubner.

Chicago

Herde, Christian Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure. : Vieweg+Teubner, 2011.