BIROn - Birkbeck Institutional Research Online
    Up a level
    Export as [feed] Atom [feed] RSS
    Jump to: 2013
    Number of items: 1.

    2013

    Razgon, Igor and Petke, J. (2013) Cliquewidth and knowledge compilation. In: Järvisalo, M. and Van Gelder, A. (eds.) Theory and Applications of Satisfiability Testing. Lecture Notes in Computer Science 7962. Berlin, Germany: Springer Verlag, pp. 335-350. ISBN 9783642390715.

    This list was generated on Tue Oct 8 05:33:31 2024 BST.