no code implementations • 4 Mar 2023 • Hui-Ling Zhen, Naixing Wang, Junhua Huang, Xinyue Huang, Mingxuan Yuan, Yu Huang
(2) Conflict-driven implication and justification have been applied to increase decision accuracy and solving efficiency.
