We introduce new linear time algorithms for satisfiability

AAAI Conferences 

You don't need any of this; as we show.