Further improvements for SAT in terms of formula length

From MaRDI portal
Publication:6077846

DOI10.1016/j.ic.2023.105085MaRDI QIDQ6077846

Mingyu Xiao, Junqiang Peng

Publication date: 27 September 2023

Published in: Information and Computation (Search for Journal in Brave)






Cites Work


This page was built for publication: Further improvements for SAT in terms of formula length