11 citations · 14 across the 2 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.LO2012★ 11 cited
Canonized Rewriting and Ground AC Completion Modulo Shostak Theories : Design and Implementation
Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala
AC-completion efficiently handles equality modulo associative and commutative function symbols. When the input is ground, the procedure terminates and provides a decision algorithm…