On the fixed-parameter tractability of parameterized model-checking problems

Stewart, I.A.

Abstract

In this note, we show, through the use of examples, how generic results for proving fixed-parameter tractability which apply to restricted classes of structures can sometimes be more widely applied.

Citation

Stewart, I. (2008). On the fixed-parameter tractability of parameterized model-checking problems. Information Processing Letters, 106(1), 33-36. https://doi.org/10.1016/j.ipl.2007.09.009

• Journal Article Type: Article
• Publication Date: Mar 1, 2008
• Deposit Date: Jun 29, 2009
• Publicly Available Date: Jul 1, 2009
• Journal: Information Processing Letters
• Print ISSN: 0020-0190
• Electronic ISSN: 1872-6119
• Publisher: Elsevier
• Peer Reviewed: Peer Reviewed
• Volume: 106
• Issue: 1
• Pages: 33-36
• DOI: https://doi.org/10.1016/j.ipl.2007.09.009
• Public URL: https://durham-repository.worktribe.com/output/1534632
• Publisher URL: http://www.dur.ac.uk/i.a.stewart/Papers/pboundedltw.pdf