Szukana fraza: [Abstract = "The original FUDASAT methodology is an intuitive approach that employs a commonsense reasoning methodology. The main objective of the work is to investigate the SAT\-solving process and try to formulate a set of rules controlling the reasoning process of the FUDASAT inference engine. In comparison with the autor`s previous works, the paper introduces new mechanisms\: hypergraph analysis, multiple variable assignments and search space pruning algorithms."]