pldb wrapped

BDBruno Dutertre

6 papers

cited 182×

cites 44

Reply guy/gal

ANAina Niemetz

cited you 14×

Mutuals

1. ACAlessandro Cimatti6 ⇄ 6
2. CWBClark W. Barrett6 ⇄ 11
3. RSRoberto Sebastiani5 ⇄ 7
4. AGAlberto Griggio4 ⇄ 8
5. CTCesare Tinelli3 ⇄ 8

you ⇄ them

Parasocial crush

KLMKenneth L. McMillan

you: 4 · them: 0

Secret admirer

CWChao Wang

them: 11 · you: 0

Main character

A Fast Linear-Arithmetic Solver for DPLL(T)

CAV 2006 · cited 89×

Ratio'd

DPLL( T): Fast Decision Procedures

CAV 2004 · cited 46× · by your 89×

Vintage

You cite like it's 2009

Deepest dig

Simplification by Cooperating Decision Procedures

TOPLAS 1979

Lamport number4

1. BDyou
2. Rupak Majumdar
3. RARajeev Alur
4. RPKRobert P. Kurshan
5. LLLeslie Lamport

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.