Is Satisfiability of Quantified Bit-Vector Formulas Stable Under Bit-Width Changes? (Experimental Paper).

Martin Jons, Jan Strejcek

Browse the full LPAR paper archive.