These converted ASP formula into SAT propositions, applied the SAT solver, and then converted the solutions back to ASP form.
Они превращали ASP формулу в SAT предложение, применяли SAT решатель, а затем превращали решение обратно в ASP формы.