Introduction to the OBDD Algorithm for the ATP Community

Authors
J.S.Moore
Citation
J.s.moore, Introduction to the OBDD Algorithm for the ATP Community, Journal of automated reasoning , 12(1), 1994, pp. 33-46
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
12
Issue
1
Year of publication
1994
Pages
33 - 46
Database
ACNP
SICI code