2 citations · 2 across the 1 of their papers we have counts for
2 papers
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…
hep-th2021
The R-matrix bootstrap for the 2d O(N) bosonic model with a boundary
Martin Kruczenski, Harish Murali
The S-matrix bootstrap is extended to a 1+1d theory with symmetry and a boundary in what we call the R-matrix bootstrap since the quantity of interest is the reflection matr…