All-Solution Satisfiability Modulo Theories: Applications, Algorithms and Benchmarks | IEEE Conference Publication | IEEE Xplore