conftrace_

nonexistence certificate

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

boolean logic (1) proof certificate (1) satisfiability solving (1) formal verification (1) combinatorial optimization (1)

Papers

A SAT-based Resolution of Lam's Problem AAAI 2021