Vol-2459⫷ Vol-2460 ⫸Vol-2461
urn:nbn:de:0074-2460-0


Vol-2460/paper6⫷Vol-2460/paper8
Ahmed IrfanAlessandro CimattiAlberto GriggioMarco RoveriRoberto Sebastiani

Lemmas for Satisfiability Modulo Transcendental Functions via Incremental Linearization