In the VLSI industry, RTL design engineers often need to simplify complex Boolean expressions to minimize chip complexity and hardware resource usage, ultimately reducing overall cost. Manually ...

Abstract: This paper presents a unified framework for capturing a variety of graph reconfiguration problems in terms of firstorder expressible properties and proposes a Boolean encoding for formulas ...

Abstract: Instead of the well-known three laws of robotics that seem difficult to be applied to solving the trolley problems in the context of frame problems, this paper proposes algebraic modeling of ...

This project applies Boolean logic to gene expression data to identify marker genes associated with bone relapse in breast cancer patients. Inspired by the work of Dr. Debashis Sahoo’s lab, this ...