Tag: restarts

  • Extended resolution is working!

    The subtitle of this post should really say: and I was wrong, again. First, let me explain what I have been wrong about — wrong assumptions are always the most instructive. I have been convinced for the past year that it’s best to have two type of restart and corresponding learnt clause usefulness strategies: the […]