Vol-4115⫷ Vol-4116 ⫸Vol-4117
urn:nbn:de:0074-4116-0


Vol-4116/invited2⫷Vol-4116/paper114⫸Vol-4116/paper136
Jasper NalbachErika Ábrahám

A Variant of Non-uniform Cylindrical Algebraic Decomposition for Real Quantifier Elimination