Publications

• Proof Production for Satisfiability Modulo Finite Fields with Proof Checking in Pacheck and Lean

  Pedro Saccomani, Abdalrhman Mohamed, Elizaveta Pertseva, Daniela Kaufmann, Cesare Tinelli, Clark Barrett, Haniel Barbosa

  FMCAD 2026, 2026

  [pdf]

• Pseudo-Boolean Blasting for the SMT Theory of Bit-Vectors

  Pedro Saccomani, Haniel Barbosa

  Whoops'26 (workshop), 2026

  [slides]