43 citations · 125 across the 10 of their papers we have counts for
1 paper · 1 filter
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…