Giters

lederg / learningqbf

Code for "Learning Heuristics for Quantified Boolean Formulas through Reinforcement Learning" (https://arxiv.org/abs/1807.08058)

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

Code for "Learning Heuristics for Quantified Boolean Formulas through Reinforcement Learning" (https://arxiv.org/abs/1807.08058)