David Avis

1. An exponential lower bound for Cunningham's rule
   2013/05/16 by David Avis, Avis, David, Oliver Friedmann +1 · 5 citations
   Computer Science · #Formal Methods in Verification #Artificial Intelligence in Games #Reinforcement Learning in Robotics
2. Deriving Tight Bell Inequalities for 2 Parties with Many 2-valued Observables from Facets of Cut Polytopes
   2004/04/02 by David Avis, Avis, David, Hiroshi Imai +5 · 1 citation
   Computer Science · Physics and Astronomy · Psychology · #Computability, Logic, AI Algorithms #FOS: Physical sciences #Philosophy and Theoretical Science #Quantum Mechanics and Applications #Quantum Physics (quant-ph) #quant-ph
3. Enumerating Constrained Non-crossing Minimally Rigid Frameworks
   2006/08/03 by David Avis, Naoki Katoh, Avis, David +7 · 1 citation
   Computer Science · Engineering · #68W01 #Advanced Materials and Mechanics #Combinatorics (math.CO) #Computational Geometry and Mesh Generation #FOS: Mathematics #Structural Analysis and Optimization