conftrace_

cnf satisfiability

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

bounded occurrence (1) running time bound (1) amortized technique (1) clause count (1) exponential time algorithm (1) upper bound (1) boolean satisfiability (1)

Papers

Fast Algorithms for SAT with Bounded Occurrences of Variables IJCAI 2023 An Improved Upper Bound for SAT AAAI 2021