642 followers
"Evaluating QBF Solvers: Quantifier Alternations Matter. (arXiv:1701.06612v3 [cs.LO] UPDATED)" #arXiv https://t.co/eSCHDgqWEp
"Evaluating QBF Solvers: Quantifier Alternations Matter. (arXiv:1701.06612v3 [cs.LO] UPDATED)" #arXiv https://t.co/eSCHDgqWEp
#arXiv #cs_LO "Evaluating QBF Solvers: Quantifier Alternations Matter. (arXiv:1701.06612v2 [cs.LO] UPDATED)" https://t.co/eSCHDgqWEp
#arXiv #cs_LO "Evaluating QBF Solvers: Quantifier Alternations Matter. (arXiv:1701.06612v1 [cs.LO])" https://t.co/eSCHDgqWEp