13th International Conference on Theory and Applications of Satisfiability Testing (SAT 2010), July

More info