NP-പൂർത്തീകരിച്ച ബൂളിയൻ സംതൃപ്തി പ്രശ്നം
അതുപോലെ, അൽഗോരിതം NP-സമ്പൂർണ്ണ ക്നാപ്സാക്ക് പ്രശ്നം പരിഹരിക്കാൻ കഴിയും, കൂടാതെ SAT പരിഹാരങ്ങൾ പതിവായി NP-സമ്പൂർണ്ണ ബൂളിയൻ സംതൃപ്തി പ്രശ്നത്തിന്റെ വലിയ ഉദാഹരണങ്ങൾ കൈകാര്യം ചെയ്യുന്നു.
കാര്യക്ഷമമായ അൽഗോരിതം ഉപയോഗിക്കുന്ന SAT ഹാൻഡ്ലർമാർ പതിവായി പരിഹരിക്കുന്ന വലിയ ഉദാഹരണങ്ങളാൽ വിശേഷിപ്പിക്കപ്പെടുന്ന മറ്റൊരു പ്രശ്നത്തിന്റെ ഉദാഹരണം എന്താണ്?