GSoC 2017
Optimize GREEN’s caching for satisfiability and model counting when using SPF
Project details
Contributor
Jan Taljaard
Mentors
Willem Visser, Neha Rungta
Technologies
Not listed in the archive
Contributor
Jan Taljaard
Mentors
Willem Visser, Neha Rungta
Not listed in the archive