Inverse resolution
Inverse resolution is an inductive reasoning technique that involves inverting the resolution operator.
References
This article is issued from Wikipedia - version of the Thursday, June 21, 2012. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.