Login / Signup

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

Jan Friso GrooteMisa Keinänen
Published in: ICTAC (2005)
Keyphrases