conftrace_

resolution proof

4 papers

Explore in graph

Co-occurring keywords · papers mentioning both

proof complexity (3) sat solver (3) quantified boolean formula (2) cnf formula (1) hardness number (1) symmetry breaking (1) variable decision heuristic (1) cdcl algorithm (1) algorithm runtime (1) dependency scheme (1)

Papers

Runtime vs. Extracted Proof Size: An Exponential Gap for CDCL on QBFs AAAI 2024 Finding the Hardest Formulas for Resolution (Extended Abstract) IJCAI 2021 Hard Examples for Common Variable Decision Heuristics AAAI 2020 Dynamic Dependency Awareness for QBF IJCAI 2018