Small Max 3-SATopenOptimize a Boolean assignment for a compact three-literal CNF instance.satbooleansmallsmall-max-three-sat-frontier-cs-algorithmic-178