Deciding Separation Formulas with SAT

Institute for Software Research