MaRDI QIDQ33659swMATHFDO
Official website https://link.springer.com/chapter/10.1007%2F978-3-319-28228-2_4
This page was built for software: Picat-SAT