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},
}
|