Dependent and Independent Variables in Propositional Satisfiability.

Enrico Giunchiglia, Marco Maratea, Armando Tacchella

Browse the full JELIA paper archive.