메뉴 건너뛰기




Volumn 2919, Issue , 2004, Pages 188-202

On fixed-parameter tractable parameterizations of SAT

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; GRAPH THEORY; TREES (MATHEMATICS);

EID: 35048878714     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24605-3_15     Document Type: Article
Times cited : (87)

References (31)
  • 1
    • 0040072443 scopus 로고
    • Minimal non-two-colorable hypergraphs and minimal unsatisfiable formulas
    • R. Aharoni and N. Linial. Minimal non-two-colorable hypergraphs and minimal unsatisfiable formulas. J. Combin. Theory Ser. A, 43:196-204, 1986.
    • (1986) J. Combin. Theory Ser. A , vol.43 , pp. 196-204
    • Aharoni, R.1    Linial, N.2
  • 5
    • 0001294529 scopus 로고    scopus 로고
    • A linear-time algorithm for finding tree-decompositions of small treewidth
    • H. L. Bodlaender. A linear-time algorithm for finding tree-decompositions of small treewidth. SIAM J. Comput., 25(6):1305-1317, 1996.
    • (1996) SIAM J. Comput. , vol.25 , Issue.6 , pp. 1305-1317
    • Bodlaender, H.L.1
  • 6
    • 0002981945 scopus 로고    scopus 로고
    • A partial k-arboretum of graphs with bounded treewidth
    • H. L. Bodlaender. A partial k-arboretum of graphs with bounded treewidth. Theoret. Comput. Sci., 209(1-2):1-45, 1998.
    • (1998) Theoret. Comput. Sci. , vol.209 , Issue.1-2 , pp. 1-45
    • Bodlaender, H.L.1
  • 9
    • 0001780070 scopus 로고    scopus 로고
    • On the fixed parameter complexity of graph enumeration problems definable in monadic second-order logic
    • B. Courcelle, J. A. Makowsky, and U. Rotics. On the fixed parameter complexity of graph enumeration problems definable in monadic second-order logic. Discr. Appl. Math., 108(1-2):23-52, 2001.
    • (2001) Discr. Appl. Math. , vol.108 , Issue.1-2 , pp. 23-52
    • Courcelle, B.1    Makowsky, J.A.2    Rotics, U.3
  • 10
    • 0002015577 scopus 로고    scopus 로고
    • Upper bounds to the clique width of graphs
    • B. Courcelle and S. Olariu. Upper bounds to the clique width of graphs. Discr. Appl. Math., 101(1-3):77-114, 2000.
    • (2000) Discr. Appl. Math. , vol.101 , Issue.1-3 , pp. 77-114
    • Courcelle, B.1    Olariu, S.2
  • 11
    • 84919401135 scopus 로고
    • A machine program for theoremproving
    • M. Davis, G. Logemann, and D. Loveland. A machine program for theoremproving. Comm. ACM, 5:394-397, 1962.
    • (1962) Comm. ACM , vol.5 , pp. 394-397
    • Davis, M.1    Logemann, G.2    Loveland, D.3
  • 14
    • 0037163958 scopus 로고    scopus 로고
    • Polynomial-time recognition of minimal unsatisfiable formulas with fixed clause-variable difference
    • H. Fleischner, O. Kullmann, and S. Szeider. Polynomial-time recognition of minimal unsatisfiable formulas with fixed clause-variable difference. Theoret. Comput. Sci., 289(1):503-516, 2002.
    • (2002) Theoret. Comput. Sci. , vol.289 , Issue.1 , pp. 503-516
    • Fleischner, H.1    Kullmann, O.2    Szeider, S.3
  • 16
    • 0037874823 scopus 로고    scopus 로고
    • On the clique-width of some perfect graph classes
    • Selected papers from the Workshop on Graph-Theoretical Aspects of Computer Science (WG'99), Part 1 (Ascona)
    • M. C. Golumbic and U. Rotics. On the clique-width of some perfect graph classes. Internat. J. Found. Comput. Sci., 11(3):423-443, 2000. Selected papers from the Workshop on Graph-Theoretical Aspects of Computer Science (WG'99), Part 1 (Ascona).
    • (2000) Internat. J. Found. Comput. Sci. , vol.11 , Issue.3 , pp. 423-443
    • Golumbic, M.C.1    Rotics, U.2
  • 17
    • 84879545412 scopus 로고    scopus 로고
    • Hypergraphs in model checking: Acyclicity and hypertree-width versus clique-width
    • F. Orejas, P. G. Spirakis, and J. van Leeuwen, editors, 28th International Colloquium on Automata, Languages and Programming (ICALP'01)
    • G. Gottlob and R. Pichler. Hypergraphs in model checking: Acyclicity and hypertree-width versus clique-width. In F. Orejas, P. G. Spirakis, and J. van Leeuwen, editors, 28th International Colloquium on Automata, Languages and Programming (ICALP'01), volume 2076 of Lecture Notes in Computer Science, pages 708-719, 2001.
    • (2001) Lecture Notes in Computer Science , vol.2076 , pp. 708-719
    • Gottlob, G.1    Pichler, R.2
  • 18
    • 1642415169 scopus 로고    scopus 로고
    • Fixed-parameter complexity in AI and nonmonotonic reasoning
    • G. Gottlob, F. Scarcello, and M. Sideri. Fixed-parameter complexity in AI and nonmonotonic reasoning. Artificial Intelligence, 138(1-2):55-86, 2002.
    • (2002) Artificial Intelligence , vol.138 , Issue.1-2 , pp. 55-86
    • Gottlob, G.1    Scarcello, F.2    Sideri, M.3
  • 19
    • 0043099681 scopus 로고    scopus 로고
    • The complexity of the falsifiability problem for pure implicational formulas
    • P. Heusch. The complexity of the falsifiability problem for pure implicational formulas. Discr. Appl. Math., 96/97:127-138, 1999.
    • (1999) Discr. Appl. Math. , vol.96-97 , pp. 127-138
    • Heusch, P.1
  • 20
    • 35048843676 scopus 로고    scopus 로고
    • Improving a fixed parameter tractability time bound for the shadow problem
    • Universität zu Köln
    • P. Heusch, S. Porschen, and E. Speckenmeyer. Improving a fixed parameter tractability time bound for the shadow problem. Technical Report 2001-425, Universität zu Köln, 2001.
    • (2001) Technical Report 2001-425
    • Heusch, P.1    Porschen, S.2    Speckenmeyer, E.3
  • 21
    • 0003955789 scopus 로고    scopus 로고
    • Investigating a general hierarchy of polynomially decidable classes of CNF's based on short tree-like resolution proofs
    • Technical Report TR99-041, ECCC
    • O. Kullmann. Investigating a general hierarchy of polynomially decidable classes of CNF's based on short tree-like resolution proofs. Technical Report TR99-041, Electronic Colloquium on Computational Complexity (ECCC), 1999.
    • (1999) Electronic Colloquium on Computational Complexity
    • Kullmann, O.1
  • 23
    • 21444456926 scopus 로고    scopus 로고
    • Hierarchies of polynomially solvable satisfiability problems
    • D. Pretolani. Hierarchies of polynomially solvable satisfiability problems. Ann. Math. Artif. Intell., 17(3-4):339-357, 1996.
    • (1996) Ann. Math. Artif. Intell. , vol.17 , Issue.3-4 , pp. 339-357
    • Pretolani, D.1
  • 24
    • 0000673493 scopus 로고
    • Graph minors. II. Algorithmic aspects of tree-width
    • N. Robertson and P. D. Seymour. Graph minors. II. Algorithmic aspects of tree-width. J. Algorithms, 7(3):309-322, 1986.
    • (1986) J. Algorithms , vol.7 , Issue.3 , pp. 309-322
    • Robertson, N.1    Seymour, P.D.2
  • 25
    • 0001227241 scopus 로고
    • Graph minors. X. Obstructions to tree-decomposition
    • N. Robertson and P. D. Seymour. Graph minors. X. Obstructions to tree-decomposition. J. Combin. Theory Ser. B, 52(2):153-190, 1991.
    • (1991) J. Combin. Theory Ser. B , vol.52 , Issue.2 , pp. 153-190
    • Robertson, N.1    Seymour, P.D.2
  • 26
    • 0002848005 scopus 로고
    • Graph minors. XIII. the disjoint paths problem
    • N. Robertson and P. D. Seymour. Graph minors. XIII. The disjoint paths problem. J. Combin. Theory Ser. B, 63(1):65-110, 1995.
    • (1995) J. Combin. Theory Ser. B , vol.63 , Issue.1 , pp. 65-110
    • Robertson, N.1    Seymour, P.D.2
  • 28
    • 35048884070 scopus 로고    scopus 로고
    • Generalizations of matched CNF formulas
    • selected papers from the 5th Int. Symp. on the Theory and Applications of Satisfiability Testing (SAT'02), to appear
    • S. Szeider. Generalizations of matched CNF formulas. Ann. Math. Artif. Intell. Special issue with selected papers from the 5th Int. Symp. on the Theory and Applications of Satisfiability Testing (SAT'02), to appear.
    • Ann. Math. Artif. Intell. , Issue.SPEC. ISSUE
    • Szeider, S.1
  • 29
    • 35248887458 scopus 로고    scopus 로고
    • Minimal unsatisfiable formulas with bounded clause-variable difference are fixed-parameter tractable
    • T. Warnow and B. Zhu, editors, The 9th International Computing and Combinatorics Conference. (COCOON'03), Springer Verlag
    • S. Szeider. Minimal unsatisfiable formulas with bounded clause-variable difference are fixed-parameter tractable. In T. Warnow and B. Zhu, editors, The 9th International Computing and Combinatorics Conference. (COCOON'03), volume 2697 of Lecture Notes in Computer Science, pages 548-558. Springer Verlag, 2003.
    • (2003) Lecture Notes in Computer Science , vol.2697 , pp. 548-558
    • Szeider, S.1
  • 30
    • 84974079324 scopus 로고
    • The complexity of propositional proofs
    • Dec.
    • A. Urquhart. The complexity of propositional proofs. Bull. of Symbolic Logic, 1(4):425-467, Dec. 1995.
    • (1995) Bull. of Symbolic Logic , vol.1 , Issue.4 , pp. 425-467
    • Urquhart, A.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.