MaRDI QIDQ55102swMATHFDO
Official website https://link.springer.com/chapter/10.1007%2F978-3-030-52482-1_14
Source code repository https://github.com/tamarit/reverCSP
This page was built for software: reverCSP