1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
Eduardo Calò, Jordi Levy
The minimization of propositional formulae is a classical problem in logic, whose first algorithms date back at least to the 1950s with the works of Quine and Karnaugh. Most previo…