Vol-3428⫷ Vol-3429 ⫸Vol-3430
urn:nbn:de:0074-3429-0


Vol-3429/short9⫷Vol-3429/short10⫸Vol-3429/abstract14
Bartosz PiotrowskiJelle PiepenbrockAndrew Reynolds 0001Jan JakubuvMikolás Janota

Selecting Quantifiers for Instantiation in SMT