Combining bounded solving and controllable randomization for approximate model counting

Open Webpage

Shuai Lü, Tongbo Zhang, Yue Xu, Wenbo Zhou, Yong Lai

Published: 01 Jan 2024, Last Modified: 11 Feb 2025J. Exp. Theor. Artif. Intell. 2024EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: ABSTRACT