Is it necessary to restart the DHCP server after editing the INI file?

No. The DHCP server reads the dhcpsrv.ini every time again, when a client requests an IP address.