Efficient Solving of Large Non-linear Arithmetic Constraint Systems with (0)

by M Fränzle, C Herde, T Teige, S Ratschan, T Schubert
Venue:Complex Boolean Structure, JSAT Special Issue on SAT/CP Integration