Solving Boolean Equation Systems

Reference:

Misa Kristian Keinänen. Solving Boolean Equation Systems. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, April 2005.

Suggested BibTeX entry:

@phdthesis{KeinanenMisa-Keinanen:licthesis,
    author = {Misa Kristian Kein\"anen},
    month = {April},
    school = {Helsinki University of Technology, Department of Computer Science and Engineering},
    title = {Solving Boolean Equation Systems},
    type = {Licentiate's Thesis},
    year = {2005},
}