I just realized that solving 3-SAT would be so much easier without all of these pesky solvable instances. They really get in the way.
No comments:
Post a Comment