TY  - RPRT
TI  - Classical and quantum satisfiability
AU  - Anderson de Araújo
AU  - Marcelo Finger
PY  - 2012
DO  - 10.4204/eptcs.81.6
UR  - https://arxiv.org/abs/1203.6161
ID  - 1203.6161
ER  -