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

    Article

    Marx, D. and O'Sullivan, B. and Razgon, Igor (2013) Finding small separators in linear time via treewidth reduction. ACM Transactions on Algorithms 9 (4), p. 30. ISSN 1549-6325.

    Hebrard, E. and Marx, D. and O'Sullivan, B. and Razgon, Igor (2011) Soft constraints of difference and equality. Journal of Artificial Intelligence Research 41 , pp. 97-130. ISSN 1076-9757.

    Razgon, Igor and O'Sullivan, B. (2009) Almost 2-SAT is fixed-parameter tractable. Journal of Computer and System Sciences 75 (8), pp. 435-450. ISSN 0022-0000.

    Chen, J. and Liu, Y. and Lu, S. and O'Sullivan, B. and Razgon, Igor (2008) A fixed-parameter algorithm for the directed feedback vertex set problem. Journal of the ACM 55 (5), pp. 1-19. ISSN 0004-5411.

    Book Section

    Marx, D. and O'Sullivan, B. and Razgon, Igor (2010) Treewidth reduction for constrained separation and bipartization problems. In: Marion, J.-Y. and Schwentick, T. (eds.) 27th International Symposium on Theoretical Aspects of Computer Science. Leibniz International Proceedings in Informatics. Dagstuhl, Germany: Schloss Dagstuhl, pp. 561-572. ISBN 9783939897163.

    Chen, J. and Liu, Y. and Lu, S. and O'Sullivan, B. and Razgon, Igor (2008) A fixed-parameter algorithm for the directed feedback vertex set problem. In: UNSPECIFIED (ed.) Proceedings of the fourtieth annual ACM symposium on Theory of computing. New York, USA: ACM Publications, pp. 177-186. ISBN 9781605580470.

    This list was generated on Tue Jul 23 04:02:12 2019 BST.