Suite Jordan-Kaiser

Download(0 Kb)
Submitter: Charles Jordan
Description: QBF encodings related to experiments with reduction finding. Details in Jordan, Charles, and Lukasz Kaiser. "Experiments with reduction finding." In International Conference on Theory and Applications of Satisfiability Testing, pp. 192-207. Springer, Berlin, Heidelberg, 2013.
Number of families: 1
Families:
Results: