QRATPre+: Effective QBF Preprocessing via Strong Redundancy Properties
Preprint in arXiv (April 2019)
The most recent citing publications are shown below. View all 3 publications that cite this research output on Dimensions.
Preprint in arXiv (April 2019)
Article in Journal of Automated Reasoning (June 2014)
Conference proceeding (January 2014)