[1]
S. Bayless, N. Bayless, H. Hoos, and A. Hu, “SAT Modulo Monotonic Theories”, AAAI, vol. 29, no. 1, Mar. 2015.