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 |
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 |