2 citations · 2 across the 1 of their papers we have counts for
1 paper
Maximilian Jaroschek, Pablo Federico Dobal, Pascal Fontaine
The satisfiability problem in real closed fields is decidable. In the context of satisfiability modulo theories, the problem restricted to conjunctive sets of literals, that is, se…