Data Structures in the Succinct Solver (V1.0)

H. Sun, Hanne Riis Nielson, Flemming Nielson

TypeTechnical report
Year2002    Month November
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering