@Article{,
  author = 	 {M. Fr{\"a}nzle and C. Herde and S. Ratschan and T. Schubert and T. Teige},
  title = 	 {Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex
  Boolean Structure},
  journal = 	 {JSAT---Journal on Satisfiability, Boolean Modeling and Computation, Special Issue on SAT/CP Integration},
  year = 	 2007,
  volume =       {1},
  pages =        {209--236}
}