1,685 followers
Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver API. (arXiv:1502.02484v2 [cs… http://t.co/8iWiOKEvqe
Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver API. (arXiv:1502.02484v2 [cs… http://t.co/8iWiOKEvqe