@phdthesis{Cot09,
title = {On Some Problems in Satisfiability Solving },
author = {Cotton, Scott},
year = {2009},
school = {University Joseph Fourier},
team = {TEMPO},
}
@phdthesis{Cot09,
title = {On Some Problems in Satisfiability Solving },
author = {Cotton, Scott},
year = {2009},
school = {University Joseph Fourier},
team = {TEMPO},
}