SEARCH Articles Figures Tables Conditioning system Exact Exactive Exactness Satisfiability Systems conditions 82