Zufferey, Damien Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;
Huang, C., Kong, S., Gao, S., & Zufferey, D. (2019). Evaluating Branching Heuristics in Interval Constraint Propagation for Satisfiability. In M., Zamani, & D., Zufferey (Eds.), Numerical Software Verification (pp. 85-100). Berlin: Springer. doi:10.1007/978-3-030-28423-7_6.