Stéphane Graham-Lengrand: Solving bit-vectors with MCSAT (IJCAR A)
Channel: IJCAR-FSCD 2020
Date: 2020-07-14

Solving bit-vectors with MCSAT: explanations from bits and pieces
Authors: Stéphane Graham-Lengrand, Dejan Jovanović, and Bruno Dutertre

Aired: 2020-02-02 14:30:00 CEST (UTC+2)