1 paper
Ravi Raja, Stanly Samuel, Chiranjib Bhattacharyya +2
The automated synthesis of correct-by-construction Boolean functions from logical specifications is known as the Boolean Functional Synthesis (BFS) problem. BFS has many applicatio…