Alexey Ignatev
Supervisor's projects
| Project name Sort descending | Type |
|---|---|
| Efficient exploration of consistent worlds | Honours project |
| Efficient Incrementality in Learning Solvers | Research project |
| Improving Satisfiability Solving in Python | Honours project |