A fast algorithm for maximum satisfiability above half number of clauses
Author:
Junqiang Peng,Mingyu Xiao
Publication:
Theoretical Computer Science
© 2026 Elsevier B.V. All rights are reserved, including those for text and data mining, AI training, and similar technologies.