Login / Signup
Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics.
Casey B. Mulligan
Russell J. Bradford
James H. Davenport
Matthew England
Zak Tonks
Published in:
CoRR (2018)
Keyphrases
</>
automated reasoning
reasoning systems
knowledge representation
decision procedures
theorem prover
theorem proving
automated verification
reasoning tasks
probabilistic reasoning
knowledge representation and reasoning
prime implicants
game theory
neural network
np complete
general purpose
artificial neural networks
propositional satisfiability
reinforcement learning