Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics.
Casey B. MulliganRussell J. BradfordJames H. DavenportMatthew EnglandZak TonksPublished in: SC-Square@FLOC (2018)
Keyphrases
- automated reasoning
- reasoning systems
- knowledge representation
- theorem proving
- decision procedures
- reasoning tasks
- theorem prover
- probabilistic reasoning
- knowledge representation and reasoning
- prime implicants
- neural network
- boolean functions
- computational intelligence
- propositional satisfiability
- artificial intelligence
- constraint satisfaction
- object oriented
- special case