Upabjojr/tarski-brown-vale-enriquez-2019 download history

Upabjojr/tarski-brown-vale-enriquez-2019 is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 41 times (3 in the last 7 days), and 41 times in total. It ranks #215,348 among datasets by monthly downloads.

Brown and Vale-Enriquez (2019): conjunctions of nonlinear real constraints The data sets of C. W. Brown and F. Vale-Enriquez, From Simplification to a Partial Theory Solver for Non-Linear Real Polynomial Constraints (2019), as kept in the tests/dataset-Brown-V-E-2019 directory of Tars

Open Upabjojr/tarski-brown-vale-enriquez-2019 on Hugging Face

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.