FMCAD 2014¶

• Karsten Scheibler, Bernd Becker: Using Interval Constraint Propagation for Pseudo-Boolean Constraint Solving (PDF), FMCAD 2014

• PB benchmarks

• FMCAD 2014 solver binaries