This is the data repository for the ICLR'19 submission "Learning Heuristics for Automated Reasoning through Reinforcement Learning".
MarkusRabe/qbf_formulas_for_rl
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
This is the data repository for the ICLR'19 submission "Learning Heuristics for Automated Reasoning through Reinforcement Learning".