Reference : Variable and term removal from Boolean formulae
Scientific journals : Article
Business & economic sciences : Quantitative methods in economics & management
Physical, chemical, mathematical & earth Sciences : Mathematics
http://hdl.handle.net/2268/202634
Variable and term removal from Boolean formulae
English
Crama, Yves mailto [Université de Liège > HEC-Ecole de gestion : UER > Recherche opérationnelle et gestion de la production >]
Ekin, Oya []
Hammer, Peter L. []
1997
Discrete Applied Mathematics
Elsevier Science
75
217-230
Yes (verified by ORBi)
International
0166-218X
Amsterdam
The Netherlands
[en] Given a Boolean formula in disjunctive normal form, the variable deletion control set problem consists in finding a minimum cardinality set of variables whose deletion from the formula results in a DNF satisfying some prescribed property. Similar problems can be defined with respect to the fixation of variables or the deletion of terms in a DNF. In this paper, we investigate the complexity of such problems for a broad class of DNF properties.
Researchers
http://hdl.handle.net/2268/202634
10.1016/S0166-218X(96)00028-5

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
VariableTermRemoval.pdfOpen archive ElesvierPublisher postprint920.77 kBView/Open

Bookmark and Share SFX Query

All documents in ORBi are protected by a user license.