On-line algorithms for polynomially solvable satisfiability problems