conftrace_

resolution proof system

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

resolution system (1) proof system (1) proof complexity (1) quantified boolean formula (1) conflict-driven clause learning (1) sat solver (1) proof search (1) computational complexity (1) boolean satisfiability (1) combinatorial optimization (1)

Papers

Computationally Hard Problems Are Hard for QBF Proof Systems Too AAAI 2025 Seeking Practical CDCL Insights from Theoretical SAT Benchmarks IJCAI 2018