PolySAT: Solving for Polyglots using Satisfiability Solving and Automated Abstractions Grant

date/time interval

  • April 15, 2023 - April 14, 2025

awarded by

subcontracted through

administered by

sponsor award ID

  • SPC-1000012890 | GR134510

local award ID

  • AWD000000016861

contributor