Parameterized Proof Complexity

Computational Complexity - Switzerland
doi 10.1007/s00037-010-0001-1
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

On the Space Complexity of Parameterized Problems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Proof Complexity Meets Algebra

ACM Transactions on Computational Logic
Computational MathematicsTheoretical Computer ScienceComputer ScienceLogic
2019English

On Miniaturized Problems in Parameterized Complexity Theory

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
2006English

Parameterized Complexity of Cardinality Constrained Optimization Problems

Computer Journal
Computer Science
2007English

Diagonalization in Proof Complexity

Fundamenta Mathematicae
Number TheoryAlgebra
2004English

Parameterized Complexity of Generalized Vertex Cover Problems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

The Parameterized Complexity of the Shared Center Problem

Algorithmica
Applied MathematicsComputer Science ApplicationsComputer Science
2012English

Approximation and Parameterized Complexity of Minimax Approval Voting

Journal of Artificial Intelligence Research
Artificial Intelligence
2018English

The Complexity of Irredundant Sets Parameterized by Size

Discrete Applied Mathematics
CombinatoricsApplied MathematicsDiscrete Mathematics
2000English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy