@misc{ 2clsQ,
  note = {available at http://www.cs.toronto.edu/~fbacchus/sat.html}
}
,
  url = {2clsQ.pdf}
}
,
  title = {QBF Solver 2clsQ}
}
,
  year = {2006}
}
,
  author = {H. Samulowitz and F. Bacchus}
}