The problems containing only six variables may be hard for today's computer with the best algorithm known.
several positive results have been attained as the result of extensive search for practical algorithms during the last decades (see (Caviness and Johnson, 1998)).