On black-box optimization in divide-and-conquer SAT solving

Open Webpage

Oleg Zaikin, Stepan Kochemazov

Published: 01 Jan 2021, Last Modified: 01 Aug 2025Optim. Methods Softw. 2021EveryoneRevisionsBibTeXCC BY-SA 4.0