Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure - Herde, Christian (Vieweg+Teubner, 2011)
Keywords: Information Technology -- Computer Science (Hardware & Networks)