View of Generalizing Boolean Satisfiability I: Background and Survey of Existing Work

Return to Article Details Generalizing Boolean Satisfiability I: Background and Survey of Existing Work Download Download PDF