Improved Passing of Assertion Stacks to SAT in Incremental SMT Solvers

01.06.2026 - 01.06.2027
Forschungsförderungsprojekt

Personen

Projektleiter_in

Institut

Spende

  • Amazon Research Awards

Forschungsschwerpunkte

  • Logic and Computation: 100%

Publikationen