Gil's repositories
buckler
Development board for teaching embedded systems
Language:CMIT000
learningqbf
Code for "Learning Heuristics for Quantified Boolean Formulas through Reinforcement Learning" (https://arxiv.org/abs/1807.08058)
Development board for teaching embedded systems
Code for "Learning Heuristics for Quantified Boolean Formulas through Reinforcement Learning" (https://arxiv.org/abs/1807.08058)