conftrace_

continuous local search

2 papers

Explore in graph

Also known as

CLS

Co-occurring keywords · papers mentioning both

gradient descent (2) boolean satisfiability (2) pseudo-boolean constraint (1) binary decision diagram (1) fast fourier transform (1) sat solver (1) parallel algorithm (1) gpu computing (1) parallel computing (1) belief propagation (1)

Papers

Massively Parallel Continuous Local Search for Hybrid SAT Solving on GPUs AAAI 2025 On Continuous Local BDD-Based Search for Hybrid SAT Solving AAAI 2021