Pages that link to "Item:Q1978032"
From MaRDI portal
The following pages link to Propositional lower bounds: Algorithms and complexity (Q1978032):
Displaying 7 items.
- Semantical and computational aspects of Horn approximations (Q1575175) (← links)
- Fixed-parameter complexity in AI and nonmonotonic reasoning (Q1603733) (← links)
- Polynomial algorithm of limited propositional deduction (Q1962496) (← links)
- Lower bounds and recursive methods for the problem of adjudicating conflicting claims (Q2452116) (← links)
- First order LUB approximations: characterization and algorithms (Q2457687) (← links)
- (Q5028363) (← links)
- Iterated lower bound formulas: a diagonalization-based approach to proof complexity (Q6086997) (← links)