Logic programming with satisfiability

Michael Codish, Vitaly Lagoon, Peter J. Stuckey. Logic programming with satisfiability. TPLP, 8(1):121-128, 2008. [doi]

Abstract

Abstract is missing.