papers
Publications (4)
cs.CC2019
From Hall's Marriage Theorem to Boolean Satisfiability and Back
Jonathan Lenchner
cs.CG2016
Connectivity graphs of uncertainty regions
Erin Chambers, Alejandro Erickson, Sándor Fekete +7
cs.AI2014
Analysis of Watson's Strategies for Playing Jeopardy!
Gerald Tesauro, David C. Gondek, Jonathan Lenchner +2
cs.DS2006
Minimum-Cost Coverage of Point Sets by Disks
Esther M. Arkin, Herve Broennimann, Jeff Erickson +5