Return to Article Details Linear Satisfiability Preserving Assignments Download Download PDF