An approach for extracting a small unsatisfiable core Roman GershmanMaya KoifmanOfer Strichman OriginalPaper 14 March 2008 Pages: 1 - 27
The symbolic OBDD scheme for generating mechanical assembly sequences Tianlong GuHuadong Liu OriginalPaper 11 April 2008 Pages: 29 - 44
Robust safety of timed automata Martin De WulfLaurent DoyenJean-François Raskin OriginalPaper 13 September 2008 Pages: 45 - 84
Don’t care words with an application to the automata-based approach for real addition Jochen EisingerFelix Klaedtke OriginalPaper 03 October 2008 Pages: 85 - 115