---
title: "Sanjit Arunkumar Seshia — papers of 2018 — Elamur Research"
description: "Sanjit Arunkumar Seshia — papers of 2018: 1 paper on Elamur Research, the most cited first — what each work is about in our own words."
canonical: "https://research.elamur.ai/free/en/authors/sanjit-arunkumar-seshia/year/2018/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/sanjit-arunkumar-seshia/year/2018/)

[home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / [Sanjit Arunkumar Seshia](https://md.research.elamur.ai/free/en/authors/sanjit-arunkumar-seshia/) / 2018

# Sanjit Arunkumar Seshia — papers of 2018 — Elamur Research

1 paper · [all years of Sanjit Arunkumar Seshia](https://md.research.elamur.ai/free/en/authors/sanjit-arunkumar-seshia/#years)

- [Learning Heuristics for Quantified Boolean Formulas through Deep Reinforcement Learning arXiv:1807.08058](https://md.research.elamur.ai/free/en/papers/lederman-2018-learning-heuristics-quantified-boolean-formulas/) — Gil Lederman, Markus N. Rabe, Edward A. Lee, et al. · 2018 · 12 citations