Search Results for author: Emre Yolcu

Found 1 papers, 1 papers with code

Learning Local Search Heuristics for Boolean Satisfiability

1 code implementation NeurIPS 2019 Emre Yolcu, Barnabas Poczos

We present an approach to learn SAT solver heuristics from scratch through deep reinforcement learning with a curriculum.

reinforcement-learning Reinforcement Learning (RL) +1

Cannot find the paper you are looking for? You can Submit a new open access paper.