26 citations · 106 across the 19 of their papers we have counts for
1 paper · 2 filters
Umang Mathur, David Mestel, Mahesh Viswanathan
The \emph{Entscheidungsproblem}, or the classical decision problem, asks whether a given formula of first-order logic is satisfiable. In this work, we consider an extension of this…