BibliographyΒΆ
The publications below are referred to from this documentation site. In addition, the old website has a list of publications about Dyna as well as some publications that use Dyna.
| [filardo-eisner-2012] | Nathaniel W. Filardo and Jason Eisner. A flexible solver for finite arithmetic circuits. ICLP LIPIcs, 2012. http://cs.jhu.edu/~jason/papers/#filardo-eisner-2012-iclp |
| [eisner-filardo-2011] | Jason Eisner and Nathaniel W. Filardo. Dyna: Extending Datalog for modern AI. Datalog Reloaded, 2011. http://cs.jhu.edu/~jason/papers/#eisner-filardo-2011 |
| [goodrich-tamassia] | Michael T. Goodrich and Roberto Tamassia. Data Structures and Algorithms in Java. ISBN 978-0470383261. 2010. |
| [MercuryLang] | http://www.mercurylang.org |