Obtaining Memory Efficient Solutions to Boolean Equation Systems

Reference:

Misa Keinänen. Obtaining memory efficient solutions to boolean equation systems. In Electronic Notes in Theoretical Computer Science, volume 133, pages 175–191. Elsevier, May 2005.

Suggested BibTeX entry:

@inproceedings{KeinanenMisa-fmics04:entcs,
    author = {Misa Kein{\"a}nen},
    booktitle = {Electronic Notes in Theoretical Computer Science},
    month = {May},
    pages = {175--191},
    publisher = {Elsevier},
    title = {Obtaining Memory Efficient Solutions to Boolean Equation Systems},
    volume = {133},
    year = {2005},
}