GitHub

A simple Boolean satisfiable problem (SAT) C++ solution code, is the sophomore data structure and algorithm course project.

Questions Given m expressions involving n boolean variables, figure out how to assign values to these n variables so that all m boolean expressions are true at the same time. There is not always one ...
IEEE

Tutorial proposal efficient solving of optimization problems using advanced boolean satisfiability and Integer Linear Programming techniques

Abstract: Recent years have seen a tremendous growth in the number of research and development groups at universities, research labs, and companies that have started using Boolean Satisfiability (SAT) ...
INSPIRE

A Benchmarking Study of Grover’s Algorithm for Solving Boolean SAT with Quantum Circuits

This study explores how well Grover's Algorithm performs in solving the Boolean Satisfiability Problem (SAT) using quantum circuits. The algorithm is implemented with IBM's Qiskit framework and ...
IEEE

Exact Toffoli Network Synthesis of Reversible Logic Using Boolean Satisfiability

Abstract: Compact synthesis results for reversible logic is of major interest in low-power design and quantum computing. Such reversible functions are realized as a cascade of Toffoli gates. In this ...