External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Better Algorithms for Satisfiability Problems for Formulas of Bounded Rank-width

Robert Ganian, Petr Hlinený, Jan Obdrzálek. Better Algorithms for Satisfiability Problems for Formulas of Bounded Rank-width. In Kamal Lodaya, Meena Mahajan, editors, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2010, December 15-18, 2010, Chennai, India. Volume 8 of LIPIcs, pages 73-83, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2010. [doi]

Authors

Robert Ganian

This author has not been identified. Look up 'Robert Ganian' in Google

Petr Hlinený

This author has not been identified. Look up 'Petr Hlinený' in Google

Jan Obdrzálek

This author has not been identified. Look up 'Jan Obdrzálek' in Google
runs on