Solving Large Systems of Boolean Equations

View Sample PDF

Author(s): Arkadij Zakrevskij (National Academy of Science, Belarus)
Copyright: 2013
Pages: 21
Source title: Diagnostic Test Approaches to Machine Learning and Commonsense Reasoning Systems
Source Author(s)/Editor(s): Xenia Naidenova (Military Medical Academy, Russia)and Dmitry I. Ignatov (National Research University Higher School of Economics, Russia)
DOI: 10.4018/978-1-4666-1900-5.ch002

Keywords: Artificial Intelligence / Data Mining / Information Science Reference / Library & Information Science

Purchase

View Solving Large Systems of Boolean Equations on the publisher's website for pricing and purchasing information.

Abstract

Systems of many Boolean equations with many variables are regarded, which have a lot of practical applications in logic design and diagnostics, pattern recognition, artificial intelligence, et cetera. Special attention is paid to systems of linear equations playing an important role in information security problems. A compact matrix representation is suggested for such systems. A series of original methods and algorithms for their solution is surveyed in this chapter, as well as the information concerning their program implementation and experimental estimation of their efficiency.

The IRMA Community

Research IRM

Solving Large Systems of Boolean Equations

Purchase

Abstract

Related Content

IRMA Sponsors