MaRDI QIDQ37182swMATHFDO
Official website https://link.springer.com/chapter/10.1007/978-3-540-73368-3_33
This page was built for software: C32SAT