added link to qbf paper