Invention Grant
- Patent Title: Transformation from general max sat to MAX 2SAT
-
Application No.: US14982001Application Date: 2015-12-29
-
Publication No.: US11080360B2Publication Date: 2021-08-03
- Inventor: Hiroki Yanagisawa
- Applicant: INTERNATIONAL BUSINESS MACHINES CORPORATION
- Applicant Address: US NY Armonk
- Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATION
- Current Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATION
- Current Assignee Address: US NY Armonk
- Agency: Tutunjian & Bitetto, P.C.
- Agent Randall Bluestone
- Main IPC: G06F17/10
- IPC: G06F17/10 ; G06F17/11
Abstract:
A computer-implemented method for solving a MAX SAT instance in provided in which a MAX SAT instance is transformed into a MAX 3SAT instance. The MAX 3SAT instance is transformed into a MAX 2SAT instance which is solved for an optimum solution. A solution to the MAX SAT instance is recovered from the MAX 2SAT optimum solution.
Public/Granted literature
- US20170185565A1 TRANSFORMATION FROM GENERAL MAX SAT TO MAX 2SAT Public/Granted day:2017-06-29
Information query
