31 citations · 60 across the 10 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
hep-th2022★ 31 cited
Where is M-theory in the space of scattering amplitudes?
Andrea Guerrieri, Harish Murali, Joao Penedones +1
We use the S-matrix bootstrap to carve out the space of unitary, analytic, crossing symmetric and supersymmetric graviton scattering amplitudes in nine, ten and eleven dimensions.…
cs.LO2022★ 2 cited
A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic
Martin Bromberger, Irina Dragoste, Rasha Faqeh +6
In a previous paper, we have shown that clause sets belonging to the Horn Bernays-Schönfinkel fragment over simple linear real arithmetic (HBS(SLR)) can be translated into HBS clau…