Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure.

Martin Fränzle Christian Herde Tino Teige Stefan Ratschan Tobias Schubert Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure. 209-236 2007 1 JSAT 3-4 http://jsat.ewi.tudelft.nl/content/volume1/JSAT1_11_Fraenzle.pdf db/journals/jsat/jsat1.html#FranzleHTRS07