Are there more easy SAT Problems?

1. Apart from $2SAT$, what versions of SAT problem is complete for the class NL?

2. Is there dynamic programming algorithm to solve the $2SAT$ Problem?

• Is Gaussian elimination a dynamic programming algorithm? – JeffE Sep 7 '13 at 17:02
• I am not at all sure, but I don't think so, (please correct me if I am wrong). Although Gaussian elimination does seem to have the structural feel of a a DP, i still can't come into agreement that it is essentially a DP – Subhayan Sep 7 '13 at 23:20