Statements (20)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:theoretical_computer_science
|
| gptkbp:complexity |
gptkb:NP-hard
|
| gptkbp:defines |
A variant of the Max-SAT problem where some clauses are hard (must be satisfied) and others are soft (to be satisfied as much as possible).
|
| gptkbp:generalizes |
gptkb:Max-SAT
gptkb:SAT |
| gptkbp:hasApplication |
bioinformatics
resource allocation circuit design scheduling constraint satisfaction |
| gptkbp:relatedTo |
gptkb:Boolean_satisfiability_problem
gptkb:Max-SAT gptkb:SAT |
| gptkbp:supportsAlgorithm |
local search
branch and bound SAT-based encoding |
| gptkbp:usedIn |
gptkb:theoretical_computer_science
gptkb:artificial_intelligence operations research |
| https://www.w3.org/2000/01/rdf-schema#label |
Partial Max-SAT
|