Reconfiguring Hybrid Systems Using SAT

Open in new window