En supposant que p = np - trouver un algorithme optimal pour 3SAT

Question

Supposons que p = np, nous avons donc à la fois des algorithmes de recherche et de décision pour 3SAT à l'heure polynomiale.
Pouvez-vous m'aider à trouver un algorithme optimal pour optimiser 3SAT, c'est-à-dire: pour trouver le nombre maximum de clauses dans $ varphi $ qui peuvent être satisfaits.

Merci!

Ps
Vous pouvez supposer que vous avez des algorithmes de recherche et de décision pour 3SAT à l'heure polynomiale - vous pouvez donc les utiliser ...