Clause-Learning for Modular Systems.

David G. Mitchell, Eugenia Ternovska

Browse the full LPNMR paper archive.