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

Browse the full PRICAI paper archive.