40 followers
@SoosMate @DiffKroening @ksmeel The paper is available online now (see below). I've sent you and @ksmeel an email with some more information on the harder benchmark instances a few weeks ago -- I hope it arrived and was helpful (I used the mail addresses f