This site is supported by donations to The OEIS Foundation.

User:Michael Dixon

From OeisWiki
Jump to: navigation, search

I am a graduate student in Computer Science, currently working on CTL satisfiability problems. My closest equivalent to a home page can be found at https://www.info.iastate.edu/individuals/info/218173/Dixon-Michael.