Research project sat problems of boolean functions