Complex sentence: Several algorithms are known for solving the 2-satisfiability problem; the most efficient of them take linear time.
Split into simpler sentences: Several algorithms are known for solving the 2-satisfiability problem. The most efficient of them take linear time.