Reference : Product form parametric representation of the solutions to a quadratic boolean equation
Scientific journals : Article
Physical, chemical, mathematical & earth Sciences : Mathematics
http://hdl.handle.net/2268/217598
Product form parametric representation of the solutions to a quadratic boolean equation
English
Crama, Yves mailto [Université de Liège - ULiège > HEC Liège : UER > Recherche opérationnelle et gestion de la production >]
Hammer, Peter L. []
Jaumard, Brigitte []
Simeone, Bruno []
1987
RAIRO: Recherche Opérationnelle
EDP Sciences
21
287-306
Yes (verified by ORBi)
International
0399-0559
1290-3868
Paris
France
[en] quadratic boolean equation ; parametric representation ; implication graph ; transitive closure
[en] A parametric représentation of the solutions to a consistent quadratic boolean equation in n variables is obtained. Each variable (or its complement) is expressed as a product of free boolean parameters or their complements. These expressions provide a complete description of the solution set of the equation. An O (n^3) algorithm is proposed to produce such a representation. An application to the maximization of some classes of pseudoboolean functions is discussed.
Researchers
http://hdl.handle.net/2268/217598
10.1051/ro/1987210402871

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
Product form quadratic equations RAIRO 1987.pdfPublisher postprint1.52 MBView/Open

Bookmark and Share SFX Query

All documents in ORBi are protected by a user license.