gym-saturation: an OpenAI Gym environment for saturation provers.

Published in: J. Open Source Softw. (2022)

Keyphrases

mobile robot
dynamic environments
databases
computer vision
database
real world
data mining
database systems
changing environment
complex environments