Skip to content
conftrace
_
Papers
Trends
Conferences
Explore
More
Authors
Topics
Keywords
Insights
Papers
Trends
Conferences
Explore
Authors
Topics
Keywords
Insights
Achievements
Home
›
Keywords
›
resolution system
resolution system
1 paper
Explore in graph
Co-occurring keywords
· papers mentioning both
resolution proof system
(1)
proof system
(1)
proof complexity
(1)
quantified boolean formula
(1)
computational complexity
(1)
combinatorial optimization
(1)
Papers
Computationally Hard Problems Are Hard for QBF Proof Systems Too
AAAI 2025
<
1
>