Embedding the Virtual Substitution Method in the Model Constructing Satisfiability Calculus Framework.

Erika brahm, Jasper Nalbach, Gereon Kremer

Browse the full ISSAC paper archive.