Resource Management for Latency-Sensitive IoT Applications With Satisfiability | IEEE Journals & Magazine | IEEE Xplore