Computing Preferred Extensions in Abstract Argumentation: a SAT-based Approach | Read Paper on Bytez