tokens: This implies you can reduce TAUTOLOGY to said optimization problem - negate the input and add any solution as S . You can even add a dummy variable to make sure the initial solution is gets a 0 in the FLOOR-CNF-SAT problem .
ner_tags: O O O O O O O O O O O O O O O O O O O B-Variable O O O O O O O O O O O O O O O O O B-Value O O O O O