Verification Series

Uniform Witnesses for Solutions of Presburger Arithmetic

2nd April 2019, 11:40 add to calender
Sven Linker

Abstract

I will present the problem about finding uniformly distributed solutions of quantifier free formulas in Presburger Arithmetic, and what the issues are.
add to calender (including abstract)