Geodesic
About convergence of a~hybrid SAT+ROBDD-derivation
Prikladnaya Diskretnaya Matematika. Supplement, no. 5 (2012), pp. 118-120

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

In the paper, the authors consider a new property of a hybrid SAT+ROBDD-derivation. This property consists in a convergence with respect to the number of paths to a terminal vertex “1” in a ROBDD which represents database of conflicts accumulated during the process of non-chronological DPLL. 
@article{PDMA_2012_5_a63,
     author = {A. A. Semenov and A. S. Ignatiev},
     title = {About convergence of a~hybrid {SAT+ROBDD-derivation}},
     journal = {Prikladnaya Diskretnaya Matematika. Supplement},
     pages = {118--120},
     publisher = {mathdoc},
     number = {5},
     year = {2012},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/PDMA_2012_5_a63/}
}
TY  - JOUR
AU  - A. A. Semenov
AU  - A. S. Ignatiev
TI  - About convergence of a~hybrid SAT+ROBDD-derivation
JO  - Prikladnaya Diskretnaya Matematika. Supplement
PY  - 2012
SP  - 118
EP  - 120
IS  - 5
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PDMA_2012_5_a63/
LA  - ru
ID  - PDMA_2012_5_a63
ER  - 
%0 Journal Article
%A A. A. Semenov
%A A. S. Ignatiev
%T About convergence of a~hybrid SAT+ROBDD-derivation
%J Prikladnaya Diskretnaya Matematika. Supplement
%D 2012
%P 118-120
%N 5
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDMA_2012_5_a63/
%G ru
%F PDMA_2012_5_a63
A. A. Semenov; A. S. Ignatiev. About convergence of a~hybrid SAT+ROBDD-derivation. Prikladnaya Diskretnaya Matematika. Supplement, no. 5 (2012), pp. 118-120. http://geodesic.mathdoc.fr/item/PDMA_2012_5_a63/