62 followers arXiv CompSci @arXiv_cs Incremental QBF Solving. (arXiv:1402.2410v1 [cs.LO]) http://t.co/HaXjn2RyDL 12 Feb 2014 Reply Repost Favourite