Hardware-Oriented Group Solutions for Hard Problems
  Group and individual solutions are considered for hard problems such as satisfiability problem. Time-space trade-off in a structured active memory provides means to achieve lower time complexity for solutions of these problems. 
Mark Burgin