The top documents tagged [arbitrary assignment]

Complexity in Language
Documents Complexity in Language

43 views

Beating Brute Force Search for Formula SAT and QBF SAT
Documents Beating Brute Force Search for Formula SAT and QBF SAT

36 views