English Satisfiability modulo theories Cited by user RDBrown on 11 Oct 2022 In computer science and mathematical logic, satisfiability modulo theories (SMT) is the problem of determining whether a mathematical formula is satisfiable.
English Peter Golenbock Cited by user Chalst on 23 Apr 2021 Peter Golenbock (born July 19, 1946) is an American author. He is noted for his many books about baseball and other sports.
English Richard Painter Cited by user Chalst on 23 Apr 2021 Richard William Painter (born October 3, 1961) is an American lawyer, professor, and political candidate.
English GKC Theorem Prover Cited by user Taneltammet on 15 Sep 2020 GKC is a high performance theorem prover for full first-order logic with equality developed by Tanel Tammet .