conftrace_

cnf formula

4 papers

Explore in graph

Co-occurring keywords · papers mentioning both

sat solver (2) resolution proof (1) proof complexity (1) hardness number (1) conflict analysis (1) boolean circuit (1) symmetry breaking (1) circuit compilation (1) decision procedure (1) horn formula (1)

Papers

A Compiler for Weak Decomposable Negation Normal Form AAAI 2024 Backdoor DNFs IJCAI 2021 Finding the Hardest Formulas for Resolution (Extended Abstract) IJCAI 2021 A Cardinal Improvement to Pseudo-Boolean Solving AAAI 2020