5 citations · 6 across the 2 of their papers we have counts for
1 paper · 1 filter
Michael Codish, Vitaly Lagoon, Peter J. Stuckey
This paper presents a Prolog interface to the MiniSat satisfiability solver. Logic program- ming with satisfiability combines the strengths of the two paradigms: logic programming…