TY  - RPRT
TI  - A Real World Mechanism for Testing Satisfiability in Polynomial Time
AU  - Bernd R. Schuh
PY  - 2010
UR  - https://arxiv.org/abs/1001.3263
ID  - 1001.3263
ER  -