no code implementations • 9 May 2022 • Junwen Ding, Liangcai Song, Siyuan Li, Chen Wu, Ronghua He, Zhouxing Su, Zhipeng Lü
Computing workflows in heterogeneous multiprocessor systems are frequently modeled as directed acyclic graphs of tasks and data blocks, which represent computational modules and their dependencies in the form of data produced by a task and used by others.
no code implementations • 11 Dec 2021 • Mao Luo, Chu-min Li, Xinyun Wu, Shuolin Li, Zhipeng Lü
This approach uses the LRB branching strategy more to solve the instances with a very low vivification ratio.
no code implementations • 29 Jul 2018 • Chu-min Li, Fan Xiao, Mao Luo, Felip Manyà, Zhipeng Lü, Yu Li
Original and learnt clauses in Conflict-Driven Clause Learning (CDCL) SAT solvers often contain redundant literals.