bachelor_thesis

Bachelor thesis about exploring ways of finding minimal unsatisfiable cores for unsatisfiable ASP problems.

Structure

• Notes : My notes can be found here

1. Simple Sudoku MUC implementation
   • first approach to the problem in the sudoku example domain
   • written in Python using the clingo API
2. ASP Approach
   • First approach to the MUC problem in ASP
   • Not general yet and missing functionality
3. Benchmarks
4. API
5. Closely related Papers
6. My Bachelor Thesis