Skip to content
cs-conference-ranking.org

First-order quantified separators.

Jason R. Koenig, Oded Padon, Neil Immerman, Alex Aiken

VenueA*PLDI
Year2020
ProceedingsPLDI
DBLP recordconf/pldi/KoenigPIA20 ↗

Browse the full PLDI paper archive.