Scalable SAT solving in the cloud

From MaRDI portal
Publication:2118345