🔗 Who cites «Guiding High-Performance SAT Solvers with Unsat-Core Predictions»

11 papers of our library cite it (of the 149,439 whose bibliographies we read) · 4 with a page here, the most cited first · ← back to «Guiding High-Performance SAT Solvers with Unsat-Core Predictions»

1. LIME: Learning Inductive Bias for Primitives of Mathematical ReasoningarXiv:2101.06223Yuhuai Wu, Markus Rabe, Wenda Li, et al.2021 · 39 citations
2. 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
3. Teaching Temporal Logics to Neural NetworksarXiv:2003.04218Christopher Hahn, Frederik Schmitt, Jens U. Kreber, et al.2020 · 24 citations
4. Learning Heuristics for Quantified Boolean Formulas through Deep Reinforcement LearningarXiv:1807.08058Gil Lederman, Markus N. Rabe, Edward A. Lee, et al.2018 · 12 citations

7 more papers of our library cite it; they have no page here yet.

This page in Markdown → https://md.research.elamur.ai/free/en/papers/selsam-2019-guiding-high-performance-sat-solvers/cited-by/