3 citations · 3 across the 1 of their papers we have counts for
2 papers
cs.HC2017★ 3 cited
AltGr-Ergo, a Graphical User Interface for the SMT Solver Alt-Ergo
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…
cs.LO2016
Extending SMTCoq, a Certified Checker for SMT (Extended Abstract)
Burak Ekici, Guy Katz, Chantal Keller +3
This extended abstract reports on current progress of SMTCoq, a communication tool between the Coq proof assistant and external SAT and SMT solvers. Based on a checker for generic…