Vol-3272⫷ Vol-3273 ⫸Vol-3274
urn:nbn:de:0074-3273-0


Vol-3273/keynote1⫷Vol-3273/paper1⫸Vol-3273/paper2
Bernard BoigelotPascal FontaineBaptiste Vergain

Deciding Satisfiability for Fragments with Unary Predicates and Difference Arithmetic (short paper)