Computing Preferred Extensions in Abstract Argumentation: a SAT-based Approach

Open in new window