{'fraction_non_alphanumeric': 0.011235955056179775, 'fraction_numerical': 0.0, 'mean_word_length': 5.445783132530121, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
USING SAT FOR ATTRIBUTE EXPLORATION OF FORMAL CONTEXT WITH CONSTRAINT

This paper presents a formulation of formal context satisfying some constraints which we already know, and an encoding a constraint-implying problem into SAT problem. The constraint-implying problem is whether an attribute implication which holds in the formal context is implied by the other attribute implications which also hold in the formal context together with information of the constraints. This problem occurs in attribute exploration of formal context.