conftrace_

hardness number

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

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

Papers

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