00

Armando Solar-Lezama

Person ☆ WATCH ⎘ SHARE

First seen 9/7/2026

Last seen 9/7/2026

Evidence 1 chunks

01

NEIGHBORHOOD

2 nodes · 1 edges

graph · Armando Solar-Lezama · depth=1

02

RELATIONSHIPS

1 connections

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

The paper acknowledges Armando Solar-Lezama for providing benchmarks.