I am a student starting an undergrad math project. I was instructed to read Donald Knuth's Fascicle 6: Satisfiability and come up with ideas for a project from this material.
I have 13 weeks to do the project.
I have carefully read the Example applications section of the book and over Christmas I managed to encode Conway's Game of Life into Boolean Logic and search for interesting seeds that evolve into predetermined patterns.
Today I am struggling to think of a research question (or project idea) involving this material that I can answer or complete under my time constraints.
I could provide encodings to Boolean Logic for every example application Knuth discusses.
I could translate all the applications in the Example applications section into python 3.
Here are the applications Knuth discusses in the Example Applications section. A recipe book for boolean encodings for these could be useful to future readers?
- The Waerden Function
- Exact covering
- Four Color Theorem
- Fault Testing
- Machine Learning
- Game of Life
- Mutual Exclusion
- Digital Tomography
Perhaps I could solve some new problem using a SAT solver?
Suggest an undergrad research project involving SAT solvers and Boolean encoding
Due to my inexperience I am struggling to come up with a decent research question.
I would love to add a tiny leaf to the tree of knowledge.