Work

Self-reconfiguration of manufacturing systems using Satisfiability Modulo Theory