Efficient solving of large non-linear arithmetic constraint systems with complex boolean structure (2007)

by Martin Fränzle , Christian Herde , Tino Teige , Stefan Ratschan , Tobias Schubert
Venue:Journal on Satisfiability, Boolean Modeling and Computation
Citations:45 - 8 self