221 followers
QRAT+: Generalizing QRAT by a More Powerful QBF Redundancy Property https://t.co/mleUFTP0r3
QRAT+: Generalizing QRAT by a More Powerful QBF Redundancy Property https://t.co/mleUFTP0r3
QRAT+: Generalizing QRAT by a More Powerful QBF Redundancy Property. https://t.co/BMP3EhJfJm
"QRAT+: Generalizing QRAT by a More Powerful QBF Redundancy Property. (arXiv:1804.02908v1 [cs.LO])" #arXiv https://t.co/vwuBWDcL8y