Vol-3184⫷ Vol-3185 ⫸Vol-3186
urn:nbn:de:0074-3185-0


Vol-3185/extended9547⫷Vol-3185/extended3245⫸Vol-3185/extended678
Thomas HaderLaura Kovács

An SMT Approach for Solving Polynomials over Finite Fields