-
1
-
-
0040072443
-
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
-
3
-
-
0000245736
-
Complexity of finding embeddings in a k-tree
-
S. Arnborg, D. G. Corneil, and A. Proskurowski. Complexity of finding embeddings in a k-tree. SIAM J. Algebraic Discrete Methods, 8(2):277-284, 1987.
-
(1987)
SIAM J. Algebraic Discrete Methods
, vol.8
, Issue.2
, pp. 277-284
-
-
Arnborg, S.1
Corneil, D.G.2
Proskurowski, A.3
-
5
-
-
0001294529
-
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
-
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
-
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
-
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
-
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
-
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
-
15
-
-
17144444721
-
An algorithm for the class of pure implicational formulas
-
J. Franco, J. Goldsmith, J. Schlipf, E. Speckenmeyer, and R. P. Swaminathan. An algorithm for the class of pure implicational formulas. Discr. Appl. Math., 96/97:89-106, 1999.
-
(1999)
Discr. Appl. Math.
, vol.96-97
, pp. 89-106
-
-
Franco, J.1
Goldsmith, J.2
Schlipf, J.3
Speckenmeyer, E.4
Swaminathan, R.P.5
-
16
-
-
0037874823
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
31
-
-
0019714095
-
Algorithms for acyclic database schemes
-
C. Zaniolo and C. Delobel, editors, IEEE Computer Society, 1981.
-
M. Yannakakis. Algorithms for acyclic database schemes. In C. Zaniolo and C. Delobel, editors, Very Large Data Bases, 7th International Conference, Sep. 9-11, 1981, Cannes, France, pages 81-94. IEEE Computer Society, 1981.
-
Very Large Data Bases, 7th International Conference, Sep. 9-11, 1981, Cannes, France
, pp. 81-94
-
-
Yannakakis, M.1
|