Journal article

Logic programming with satisfiability

Michael Codish, Vitaly Lagoon, Peter J Stuckey

Theory and Practice of Logic Programming: 8(1):121-128, 2008 | CAMBRIDGE UNIV PRESS | Published : 2008