Almost Optimal Canonical Property Testers for Satisfiability.

Christian Sohler

Published in: FOCS (2012)

Keyphrases

genetic algorithm
optimal solution
dynamic programming
neural network
information systems
satisfiability problem
test cases
optimal strategy
monotonicity property