Adiar
2.1.0
An External Memory Decision Diagram Library
|
List of all relevant papers to cite when using Adiar, including BibTex metadata.
List of changes in Adiar that to some extend render some of published knowledge as out of date.