TY - RPRT TI - Balanced incomplete block designs and exact satisfiability AU - Bernd. R. Schuh PY - 2020 UR - https://arxiv.org/abs/2010.02922 ID - 2010.02922 ER -