Stéphane Graham-Lengrand
- Solving bitvectors with MCSAT: explanations from bits and pieces (long version)
2020/04/16 by Stéphane Graham-Lengrand, Dejan Jovanović, Graham-Lengrand, Stéphane +3 · 1 citation
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Software Testing and Debugging Techniques
- MCSat-based Finite Field Reasoning in the Yices2 SMT Solver
2024/02/27 by Thomas Häder, Daniela Kaufmann, Hader, Thomas +7 · 1 citation
Computer Science · #Distributed and Parallel Computing Systems #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)