An In-Label Prioritizing Variable Branching Strategy of SAT Solvers for a Preferred Extension of Argumentation Frameworks. - Mao Luo; Jiao Xiong; Ningning He; Caiquan Xiong; Xinyun Wu; Jun Wu (PRICAI (5), 2024)