Vol-1973⫷ Vol-1974 ⫸Vol-1975
urn:nbn:de:0074-1974-0


Vol-1974/RP1⫷Vol-1974/RP2⫸Vol-1974/RP3
Tarik ViehmannGereon KremerErika Ábrahám

Comparing Different Projection Operators in the Cylindrical Algebraic Decomposition for SMT Solving