Quoc-Sang Phan, Pasquale Malacaria. All-Solution Satisfiability Modulo Theories: Applications, Algorithms and Benchmarks. In 10th International Conference on Availability, Reliability and Security, ARES 2015, Toulouse, France, August 24-27, 2015. pages 100-109, IEEE, 2015. [doi]
Abstract is missing.