%0 Book
%A  Christian Herde ; With a foreword by Martin Fränzle.
%T Efficient solving of large arithmetic constraint systems with complex Boolean structure :
%U /book/90384426/Efficient-solving-of-large-arithmetic-constraint-s/