## status report 1

September 22, 2009by Connor Gallagher (cg09)

by connor

We met twice. We began considering some topics for research some of which are still a possibility others do not appear to be suited for genetic programing. the topics we have been thing about are :

1. SAT solvers. We considered using GP to evolve a better SAT solver. This Idea has been abandoned because a SAT solver answers question which does not have degrees of “correctness” but rather a binary true or false answer.

2. Linear Programing. still a possibility. This project would involve adding new functionality to Push.

3. Automatic Theorem Proving. Again still a possibility, this problem is attractive because there is a wealth of data on which we can test our program. We have also been searching our respective mathematical social networks for possible research topics. some literature:

http://www.google.com/books?id=ynigSICJflYC&printsec=frontcover#v=onepage&q=&f=false

http://books.google.com/books?id=DN20_tW_BV0C&printsec=frontcover&client=firefox-a#v=onepage&q=&f=false

Here is a link to our wiki. Feel free to create your own *Core on the ResearchCore page.