conftrace_

proof certificate

3 papers

Explore in graph

Co-occurring keywords

satisfiability solving (13) formal verification (284) combinatorial optimization (1039) hardware verification (4) neural network (6616) computer algebra (8) boolean logic (9) ramsey theory (3) nonexistence certificate (1) model checking (105)

Papers

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