A Sub-quadratic Algorithm for Conjunctive and Disjunctive Boolean Equation Systems.

Jan Friso Groote, Misa Keinnen

Browse the full ICTAC paper archive.