Publications (27)
mts: A light framework for parallelizing tree search codes
David Avis, Charles Jordan
Two-Party Bell Inequalities Derived from Combinatorics via Triangular Elimination
David Avis, Hiroshi Imai, Tsuyoshi Ito +1
Enumerating Constrained Non-crossing Minimally Rigid Frameworks
David Avis, Naoki Katoh, Makoto Ohsaki +2
Bell inequalities stronger than the CHSH inequality for 3-level isotropic states
Tsuyoshi Ito, Hiroshi Imai, David Avis
Compact linear programs for 2SAT
David Avis, Hans Raj Tiwary
Families of polytopal digraphs that do not satisfy the shelling property
David Avis, Hiroyuki Miyata, Sonoko Moriyama
mplrs: A scalable parallel vertex/facet enumeration code
David Avis, Charles Jordan
The Quantum Locker Puzzle
David Avis, Anne Broadbent
A generalization of extension complexity that captures $P$
David Avis, Hans Raj Tiwary
On the extension complexity of combinatorial polytopes
David Avis, Hans Raj Tiwary
Distributed Compression and Multiparty Squashed Entanglement
David Avis, Patrick Hayden, Ivan Savov
Leggett-Garg inequalities and the geometry of the cut polytope
David Avis, Patrick Hayden, Mark M. Wilde
Generating facets for the cut polytope of a graph by triangular elimination
David Avis, Hiroshi Imai, Tsuyoshi Ito
An exponential lower bound for Cunningham's rule
David Avis, Oliver Friedmann
A parallel framework for reverse search using mts
David Avis, Charles Jordan
From Bell Inequalities to Tsirelson's Theorem: A Survey
David Avis, Sonoko Moriyama, Masaki Owari
New Classes of Facets of Cut Polytope and Tightness of I_{mm22} Bell Inequalities
David Avis, Tsuyoshi Ito
On the Relationship between Convex Bodies Related to Correlation Experiments with Dichotomic Observables
David Avis, Hiroshi Imai, Tsuyoshi Ito
Complete account of randomness in the EPR-Bohm-Bell experiment
David Avis, Paul Fischer, Astrid Hilbert +1
Comparative computational results for some vertex and facet enumeration codes
David Avis, Charles Jordan
A quantum protocol to win the graph colouring game on all Hadamard graphs
David Avis, Jun Hasegawa, Yosuke Kikuchi +1
Deriving Tight Bell Inequalities for 2 Parties with Many 2-valued Observables from Facets of Cut Polytopes
David Avis, Hiroshi Imai, Tsuyoshi Ito +1
Polynomial size linear programs for problems in P
David Avis, David Bremner, Hans Raj Tiwary +1
On the H-Free Extension Complexity of the TSP
David Avis, Hans Raj Tiwary
Ground Metric Learning
Marco Cuturi, David Avis
Reputation Games for Undirected Graphs
David Avis, Kazuo Iwama, Daichi Paku
On the Existence of Hamiltonian Paths for History Based Pivot Rules on Acyclic Unique Sink Orientations of Hypercubes
Yoshikazu Aoshima, David Avis, Theresa Deering +2