🔗 Who cites «Learning Heuristics for Quantified Boolean Formulas through Deep Reinforcement Learning»

4 papers of our library cite it (of the 149,439 whose bibliographies we read) · 3 with a page here, the most cited first · ← back to «Learning Heuristics for Quantified Boolean Formulas through Deep Reinforcement Learning»

1. Graph Representations for Higher-Order Logic and Theorem ProvingProceedings of the AAAI Conference on Artificial IntelligenceAditya Paliwal, Sarah Loos, Markus Rabe, et al.2019 · 33 citations
2. Teaching Temporal Logics to Neural NetworksarXiv:2003.04218Christopher Hahn, Frederik Schmitt, Jens U. Kreber, et al.2020 · 24 citations
3. Automated Theorem Proving in Intuitionistic Propositional Logic by Deep Reinforcement LearningarXiv:1811.00796Mitsuru Kusumoto, Keisuke Yahata, Masahiro Sakai2018 · 15 citations

1 more paper of our library cites it; it has no page here yet.

This page in Markdown → https://md.research.elamur.ai/free/en/papers/lederman-2018-learning-heuristics-quantified-boolean-formulas/cited-by/