New optimization models for designing synchronizing codes

From MaRDI portal