作者
Jiongzhi Zheng, Kun He, Zhuo Chen, Jianrong Zhou, Chu-Min Li
发表日期
2022
期刊
SAT COMPETITION 2022
页码范围
20
简介
This document describes our five SAT solvers, LStech-Maple-BandSAT, LStech-Maple-FPS, LStech-Maple-HyWalk, Kissat MAB-HyWalk, and CaDiCaL-HyWalk, submitted to the SAT Competition 2022. CaDiCaL-HyWalk is submitted to the hack track, and the others are submitted to the main track.
学术搜索中的文章
J Zheng, K He, Z Chen, J Zhou, CM Li - SAT COMPETITION 2022, 2022