00

Sanjit A. Seshia

Person ☆ WATCH ⎘ SHARE

First seen 9/7/2026

Last seen 9/7/2026

Evidence 1 chunks

01

NEIGHBORHOOD

3 nodes · 2 edges

graph · Sanjit A. Seshia · depth=1

02

RELATIONSHIPS

2 connections

On Parallel Scalable Uniform SAT Witness Generation ← authored by 100% 1e evidence

The paper is authored by Sanjit A. Seshia.

University of California, Berkeley part of → 100% 1e evidence

Sanjit A. Seshia is affiliated with UC Berkeley.