B-SAT, Boolean Satisfiability Problem, closed box testing, conjunctive normal form (CNF), electronic design automation(EDA), Grover’s Search, quantum computing.
