Double Mask: An Efficient Rule Encoding for Software Defined Networking. - Ahmad Abboud; Abdelkader Lahmadi; Michaël Rusinowitch; Miguel Couceiro; Adel Bouhoula; Mondher Avadi (ICIN, 2020)