---
title: "Who cites An Extensible SAT-solver — 12 papers of our library"
description: "12 papers of the Elamur Research library cite «An Extensible SAT-solver», found in their bibliographies; the most cited first."
canonical: "https://research.elamur.ai/free/en/papers/een-2003-extensible-sat-solver/cited-by/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/een-2003-extensible-sat-solver/cited-by/)

[home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [An Extensible SAT-solver](https://md.research.elamur.ai/free/en/papers/een-2003-extensible-sat-solver/) / cited by

# Who cites «An Extensible SAT-solver»

12 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 «An Extensible SAT-solver»](https://md.research.elamur.ai/free/en/papers/een-2003-extensible-sat-solver/)

1. [**History of Interactive Theorem Proving Handbook of the History of Logic, vol. 9 (Elsevier)**John Harrison, Josef Urban, Freek Wiedijk*2014 · 109 citations*](https://md.research.elamur.ai/free/en/papers/harrison-2014-history-interactive-theorem-proving/)
2. [**A Survey on Deep Learning for Theorem Proving arXiv:2404.09939**Zhaoyu Li, Jialiang Sun, Logan Murphy, et al.*2024 · 46 citations*](https://md.research.elamur.ai/free/en/papers/li-2024-survey-deep-learning-theorem-proving/)
3. [**Learning Heuristics for Quantified Boolean Formulas through Deep Reinforcement Learning arXiv:1807.08058**Gil Lederman, Markus N. Rabe, Edward A. Lee, et al.*2018 · 12 citations*](https://md.research.elamur.ai/free/en/papers/lederman-2018-learning-heuristics-quantified-boolean-formulas/)

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

- [← back to](https://md.research.elamur.ai/free/en/papers/een-2003-extensible-sat-solver/) — An Extensible SAT-solver