A

A deterministic (2−2/(k+1))n algorithm for k-SAT based on local search

Theoretical Computer Science

Authors 0

  1. Author list not loaded yet.

Cited by 2 stored of 230

2 results

References 0