SAT Modulo Monotonic Theories.

Sam Bayless, Noah Bayless, Holger H. Hoos, Alan J. Hu

Browse the full AAAI paper archive.