These converted ASP formula into SAT propositions, applied the SAT solver, and then converted the solutions back to ASP form.
Вони перетворювали ASP формулу в SAT пропозицію, застосували SAT вирішувач, а потім перетворювали рішення назад до ASP форми.