Combinatorial problems over logical matrices in logic design and artificial intelligence

Resumo

Logic design and artificial intelligence constitute a rich source of hard combinatorial problems which can be formulated in terms of logical matrices. Research into their classification and working out practically efficient solving algorithms were started in early sixties at the Tomsk University and the Siberian Physiko-Tekhnical Institute and developed later in the Institute of Engineering Cybernetics of the Academy of Sciences of Belarus. A brief review of obtained results is presented in this paper.