Exact MAX-2SAT solution via lift-and-project closure (Q2466587)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Exact MAX-2SAT solution via lift-and-project closure |
scientific article |
Statements
Exact MAX-2SAT solution via lift-and-project closure (English)
0 references
15 January 2008
0 references
mixed-integer-programming
0 references
MAX-2SAT
0 references
branch-and-cut
0 references
lift-and-project
0 references
0 references
0 references
