information about Boolean satisfiability problem field