Allen Van Gelder

Identifiers

• name variant Allen Van Gelder 0.60 · backfill

Papers (1)

1. The QBF Gallery: Behind the Scenes cs.LO · 2015 · author #3

Mentions

• 1508.01045 #3 · backfill · confidence 0.70 Allen Van Gelder

Frequent Coauthors

• Florian Lonsing 1 shared papers
• Martina Seidl 1 shared papers