A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Using interval constraint propagation for pseudo-Boolean constraint solving
2014
2014 Formal Methods in Computer-Aided Design (FMCAD)
This work is motivated by (1) a practical application which automatically generates test patterns for integrated circuits and (2) the observation that off-the-shelf state-of-the-art pseudo-Boolean solvers have difficulties in solving instances with huge pseudo-Boolean constraints as created by our application. Derived from the SMT solver iSAT3 we present the solver iSAT3p that on the one hand allows the efficient handling of huge pseudo-Boolean constraints with several thousand summands and
doi:10.1109/fmcad.2014.6987614
dblp:conf/fmcad/ScheiblerB14
fatcat:5clihi34rfgxxnjsqa4zdoqtcy