swMATH40123MaRDI QIDQ55823FDOQ55823
Author name not available (Why is that?)
Official website: https://arxiv.org/abs/2001.09398
Source code repository: https://github.com/myxxxsquared/NLocalSAT
Cited In (4)
This page was built for software: NLocalSAT