作者
Jiongzhi Zheng, Kun He, Zhuo Chen, Jianrong Zhou, Chu-Min Li
发表日期
2022
期刊
MaxSAT Evaluation 2022
页码范围
24
简介
This document describes our MaxSAT solver DT-HyWalk submitted to the MSE 2022. DT-HyWalk is submitted to both the weighted and unweighted incomplete tracks.
学术搜索中的文章
J Zheng, K He, Z Chen, J Zhou, CM Li - MaxSAT Evaluation 2022, 2022