title: Finding the number of solutions of 2 SAT
body: <p>I want an algorithm to know whether there exists more than one solution for 2-satisfiability problem say for 1000 literals assuming it is satisfiable. Please explain.</p>