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: | 2 | ||
| Families: | |||
| Results: | |||