3 citations · 4 across the 2 of their papers we have counts for
1 paper · 1 filter
Sylvain Conchon, Mohamed Iguernlala, Alain Mebsout
Due to undecidability and complexity of first-order logic, SMT solvers may not terminate on some problems or require a very long time. When this happens, one would like to find the…