Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics
- Casey Mulligan
- , Russell Bradford
- , James H. Davenport
- , Matthew England
- , Zak Tonks
Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review
55
Downloads
(Pure)