Minimal sets on propositional formulae. Problems and reductions (Q1677431)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Minimal sets on propositional formulae. Problems and reductions |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Minimal sets on propositional formulae. Problems and reductions |
scientific article |
Statements
Minimal sets on propositional formulae. Problems and reductions (English)
0 references
21 November 2017
0 references
Boolean satisfiability
0 references
minimal unsatisfiability
0 references
maximal satisfiability
0 references
minimal satisfiability
0 references
maximal falsifiability
0 references
irredundant subformulae
0 references
MUSes
0 references
MCSes
0 references
MESes
0 references
MFSes
0 references
minimal and maximal models
0 references
prime implicates and implicants
0 references
formula entailment
0 references
backbone literals
0 references
variable independence
0 references
autarkies
0 references
independent support
0 references
monotone predicates
0 references
0 references
0 references
0 references
