1 citations · 1 across the 2 of their papers we have counts for
2 papers
quant-ph2026
The Grasshopper Problem on the Sphere
David Llamas, Dmitry Chistikov, Adrian Kent +2
The spherical grasshopper problem is a geometric optimization problem that arises in the context of Bell inequalities and can be interpreted as identifying the best local hidden va…
cs.LO2024★ 1 cited
Integer Linear-Exponential Programming in NP by Quantifier Elimination
Dmitry Chistikov, Alessio Mansutti, Mikhail R. Starchak
This paper provides an NP procedure that decides whether a linear-exponential system of constraints has an integer solution. Linear-exponential systems extend standard integer line…