Efficient Resource-Aware Neural Architecture Search with a Neuro-Symbolic Approach | IEEE Conference Publication | IEEE Xplore