generalized fixed bounds on determinants to predicate; added an improved determinate bound
-> result: get smaller bound on mixed integer solutions (replace n! by sqrt(n^n))
Description
Description
Details
Details
- Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at> Authored on - Parents
- rAFP52a3cc9ded7d: Code generated in the same directory
- Branches
- Unknown
- Tags