642 followers
#arXiv #cs_LO "DepQBF 6.0: A Search-Based QBF Solver Beyond Traditional QCDCL. (arXiv:1702.08256v2 [cs.LO] UPDATED… https://t.co/WlJPgve1V2
#arXiv #cs_LO "DepQBF 6.0: A Search-Based QBF Solver Beyond Traditional QCDCL. (arXiv:1702.08256v2 [cs.LO] UPDATED… https://t.co/WlJPgve1V2
#arXiv #cs_LO "DepQBF 6.0: A Search-Based QBF Solver Beyond Traditional QCDCL. (arXiv:1702.08256v1 [cs.LO])" https://t.co/WlJPgve1V2