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

Reference:

Jan Friso Groote and Misa Keinänen. A sub-quadratic algorithm for conjunctive and disjunctive boolean equation systems. In D.V. Hung and M. Wirsing, editors, Theoretical Aspects of Computing – ICTAC 2005, volume 3722 of Lecture Notes in Computer Science, pages 545–558. Springer-Verlag, October 2005.

Suggested BibTeX entry:

@inproceedings{KeinanenMisa-ictac05,
    author = {Jan Friso Groote and Misa Kein{\"a}nen},
    booktitle = {Theoretical Aspects of Computing -- ICTAC 2005},
    editor = {D.V.~Hung and M.~Wirsing},
    month = {October},
    pages = {545--558},
    publisher = {Springer-Verlag},
    series = {Lecture Notes in Computer Science},
    title = {A Sub-quadratic Algorithm for Conjunctive and Disjunctive Boolean Equation Systems},
    volume = {3722},
    year = {2005},
}