From Local Search to Quantifier-Elimination for Bit-Vectors in SMT


Date
Location
Oaxaca, Mexico
Links