QUADRA enhancements to MINTERM (radiocommunication) | IEEE Conference Publication | IEEE Xplore