Geodesic
On weak positive predicates over a finite set
Diskretnaya Matematika, Tome 30 (2018) no. 3, pp. 127-140

Voir la notice de l'article provenant de la source Math-Net.Ru

Predicates that are preserved by a semi-lattice function are considered. These predicates are called weak positive. A representation of these predicates are proposed in the form of generalized conjunctive normal forms (GCNFs). Properties of GCNFs of these predicates are obtained. Based on the properties obtained, more efficient polynomial-time algorithms are proposed for solving the generalized satisfiability problem in the case when all initial predicates are preserved by a certain semi-lattice function.
Keywords: predicate over a finite set, function over a finite set, semi-lattice function, weak positive predicate, conjunctive normal form, generalized satisfiability problem (constraints satisfaction problem), polynomial-time problem. 
@article{DM_2018_30_3_a10,
     author = {S. N. Selezneva},
     title = {On weak positive predicates over a finite set},
     journal = {Diskretnaya Matematika},
     pages = {127--140},
     publisher = {mathdoc},
     volume = {30},
     number = {3},
     year = {2018},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/DM_2018_30_3_a10/}
}
TY  - JOUR
AU  - S. N. Selezneva
TI  - On weak positive predicates over a finite set
JO  - Diskretnaya Matematika
PY  - 2018
SP  - 127
EP  - 140
VL  - 30
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DM_2018_30_3_a10/
LA  - ru
ID  - DM_2018_30_3_a10
ER  - 
%0 Journal Article
%A S. N. Selezneva
%T On weak positive predicates over a finite set
%J Diskretnaya Matematika
%D 2018
%P 127-140
%V 30
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DM_2018_30_3_a10/
%G ru
%F DM_2018_30_3_a10
S. N. Selezneva. On weak positive predicates over a finite set. Diskretnaya Matematika, Tome 30 (2018) no. 3, pp. 127-140. http://geodesic.mathdoc.fr/item/DM_2018_30_3_a10/