conftrace_

shortest proof

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

symmetry breaking (1) resolution proof (1) cnf formula (1) proof complexity (1) hardness number (1) sat encoding (1) sat solver (1)

Papers

Finding the Hardest Formulas for Resolution (Extended Abstract) IJCAI 2021