Satisfiability Checking: Theory and Applications.

Erika brahm, Gereon Kremer

Browse the full SEFM paper archive.