Return to Article Details An Efficient Algorithm for Solving the 2-MAXSAT Problem Download Download PDF