vix.ing · top · new · best · stats · spec

Daniela Kaufmann

  1. MCSat-based Finite Field Reasoning in the Yices2 SMT Solver
    2024/02/27 by Thomas Häder, Hader, Thomas, Daniela Kaufmann +7 · 1 citation
    Computer Science · #Distributed and Parallel Computing Systems #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)