Cited By
View all- Barbosa HBarrett CCook BDutertre BKremer GLachnitt HNiemetz ANötzli AOzdemir APreiner MReynolds ATinelli CZohar Y(2023)Generating and Exploiting Automated Reasoning Proof CertificatesCommunications of the ACM10.1145/358769266:10(86-95)Online publication date: 22-Sep-2023
- Ozdemir AKremer GTinelli CBarrett C(2023)Satisfiability Modulo Finite FieldsComputer Aided Verification10.1007/978-3-031-37703-7_8(163-186)Online publication date: 17-Jul-2023
- Bonacina M(2021)Proof Generation in CDSATElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.336.1336(1-4)Online publication date: 7-Jul-2021
- Show More Cited By