TY  - RPRT
TI  - Are You Satisfied by This Partial Assignment?
AU  - Roberto Sebastiani
PY  - 2020
UR  - https://arxiv.org/abs/2003.04225
ID  - 2003.04225
ER  -