Introduction: The information presented here is intended to describe the course goals for current and prospective students as well as others who are interested in our courses. It is not intended to ...

Abstract: A sound and complete Gentzen-typed deduction system is given for a Boolean algebra logic, where the logical connective - is missed and an assignment is a function from the propositional ...

Abstract: The satisfiability (SAT) problem is an important problem of automated reasoning. In the past decades, many methods of SAT are proposed, such as method based on resolution, method based on ...

Abstract: Silicon-based static random access memories (SRAM) and digital Boolean logic have been the workhorse of the state-of-the-art computing platforms. Despite tremendous strides in scaling the ...

Abstract: State feedback stabilization for Boolean control networks is investigated in this technical note. Based on the algebraic representation of logical dynamics in terms of the semi-tensor ...

Linear algebra is the foundation of science and engineering. Knowledge of linear algebra is a prerequisite for studying statistics, machine learning, computer graphics, signal processing, chemistry, ...

This project uses Maven as it's build system. If you would like to build and run the application from source, then the following commands will prove useful. This will not delete the output folder that ...