We propose a purely implicit solution to the contextual assumption generation problem in assume-guarantee reasoning. Instead of improving the
algorithm — a learning algorithm for
, our algorithm computes implicit representations of contextual assumptions by the CDNF algorithm — a learning algorithm for
. We report three parametrized test cases where our solution outperforms the monolithic interpolation-based Model Checking algorithm.