Maximum Satisfiability Problem

GPTKB entity

Statements (27)
Predicate Object
gptkbp:instanceOf theoretical computer science
gptkbp:abbreviation MaxSAT
gptkbp:application gptkb:artificial_intelligence
operations research
bioinformatics
circuit design
gptkbp:complexity gptkb:NP-hard
gptkbp:field gptkb:logic
computer science
gptkbp:firstDescribed 1978
gptkbp:generalizes Boolean satisfiability problem
gptkbp:hasSpecialCase Boolean satisfiability problem
gptkbp:hasVariant parameterized MaxSAT
partial MaxSAT
weighted MaxSAT
https://www.w3.org/2000/01/rdf-schema#label Maximum Satisfiability Problem
gptkbp:input Boolean formula in conjunctive normal form
gptkbp:output maximum number of satisfiable clauses
gptkbp:relatedTo gptkb:3-SAT
Boolean satisfiability problem
minimum unsatisfiability problem
gptkbp:solvedBy approximation algorithms
exact algorithms
local search algorithms
gptkbp:usedIn optimization
gptkbp:bfsParent gptkb:Max-SAT
gptkbp:bfsLayer 7