conftrace_

proof certificate

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

satisfiability solving (3) formal verification (2) combinatorial optimization (2) hardware verification (1) neural network (1) computer algebra (1) boolean logic (1) ramsey theory (1) nonexistence certificate (1) model checking (1)

Papers

A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract) AAAI 2024 Neural Model Checking NeurIPS 2024 A SAT-based Resolution of Lam's Problem AAAI 2021