pldb wrapped

SGStephan Gocht

1 papers

cited 10×

cites 3

Reply guy/gal

JYJiong Yang

cited you 2×

Mutuals

1. DJFDaniel J. Fremont1 ⇄ 1

you ⇄ them

Parasocial crush

MYVMoshe Y. Vardi

you: 2 · them: 0

Main character

Tinted, Detached, and Lazy CNF-XOR Solving and Its Applications to Counting and…

CAV 2020 · cited 10×

Ratio'd

On Parallel Scalable Uniform SAT Witness Generation

TACAS 2015 · cited 9× · by your 10×

Deepest dig

When Boolean Satisfiability Meets Gaussian Elimination in a Simplex Way

CAV 2012

Lamport number4

1. SGyou
2. KSMKuldeep S. Meel
3. MYVMoshe Y. Vardi
4. RPKRobert P. Kurshan
5. LLLeslie Lamport

Load-bearing co-author: Kuldeep S. Meel. Without them: 5.

pldb.kirancodes.me/fun · within PLDB

Counts are citations between papers in PLDB, one per pair of papers; self-citations excluded. Mutuals: you cite each other (you ⇄ them). Older papers have thinner citation data.

Pictures come from Bluesky accounts we could match to dblp names. Not showing yours, or showing the wrong one? Email me.