On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata.

Marc Herbstritt, Bernd Becker, Erika brahm, Christian Herde

Browse the full DDECS paper archive.