conftrace_

resolution refutation

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

sat solver (2) equivalence-preserving transformation (1) parity reasoning (1) faithful reasoning (1) conflict-driven clause learning (1) logic reasoning (1) first-order logic (1) question answering (1)

Papers

Hardness of Random Reordered Encodings of Parity for Resolution and CDCL AAAI 2024 Towards Generalizable and Faithful Logic Reasoning over Natural Language via Resolution Refutation COLING 2024 Proofs and Certificates for Max-SAT (Extended Abstract) IJCAI 2023