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  -