Skip to content
GitLab
Explore
Sign in
Register
Vladimir Zhukov
intel_altera
Milestones
Open
4
Closed
0
All
4
Name, descending
Generalization stage
Apr 1, 2020–Apr 1, 2021
Expired
Vladimir Zhukov / intel_altera
0 Issues
·
0 Merge requests
0% complete
ALM generators for SAT/SMT
Apr 1, 2020–Jun 30, 2020
Expired
Vladimir Zhukov / intel_altera
2 Issues
·
1 Merge request
100% complete
Algorithms implementation
Apr 1, 2020–Dec 31, 2020
Expired
Vladimir Zhukov / intel_altera
0 Issues
·
0 Merge requests
0% complete
Algorithms development
Apr 1, 2020–Sep 30, 2020
Expired
Vladimir Zhukov / intel_altera
4 Issues
·
0 Merge requests
75% complete